المؤلفون: Pilarek, Joanna Golińska, Huuskonen, Taneli, Zawidzki, Michał

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary), F.4.3, I.2.3, I.2.4, D.3.1

URL الوصول: http://arxiv.org/abs/2104.14697

المؤلفون: Joanna Golińska Pilarek, Taneli Huuskonen, Michał Zawidzki

المصدر: Automated Deduction – CADE 28 ISBN: 9783030798758

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.3, I.2.3, I.2.4, D.3.1, 0603 philosophy, ethics and religion, 01 natural sciences, Denotation, Identity (mathematics), Truth value, 0101 mathematics, Equivalence (measure theory), Mathematics, 010102 general mathematics, 06 humanities and the arts, Extension (predicate logic), Propositional calculus, Satisfiability, Differentiation rules, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3

مصطلحات الفهرس: Computer Science - Logic in Computer Science, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary), F.4.3, I.2.3, I.2.4, D.3.1, text

URL: http://arxiv.org/abs/2104.14697