Ihre Suche nach "modal logics" ergab 22 Treffer

Ansicht:
: 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.