Ihre Suche nach "modal logics" ergab 24 Treffer

Ansicht:
Peter Fritz: Propositional Quantifiers, Buch

Peter Fritz
Propositional Quantifiers

"Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the c…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 87,14*
Artikel ist im Warenkorb
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14740

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
Artikel ist im Warenkorb
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14739

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics, Buch

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Outstanding Contributions to Logic -Band 24

This book is dedicated to V.A. Yankov s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas hav…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 153,32*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.