Theorem Proving – alle Bücher online kaufen

Ihre Suche nach "theorem proving" ergab 4 Treffer

Improving the Evaluation of Scholarly Work

This book aims to stimulate debate in the growing and highly controversial area of measuring scholarly work. The authors examine key aspects of this topic through the lens of the latest theoretical develo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Artikel ist im Warenkorb

Intelligent Computer Mathematics

Lecture Notes in Artificial Intelligence -Band 14101

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

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

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

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.