Automated Reasoning
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, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewe......
fra 779,-
På lager i 2 butikker
Kjøp på nett
Fjernlager
Frakt og levering
På lager
Frakt og levering
Sammenligning av produkter
Her finner du de fire mest populære produktene i denne kategorien i en lignende prisklasse som det du ser på nå.
Automated Reasoning
779,-
Produktinformasjon
<p><strong>Infotext (nur auf Basis des Vorgängers): </strong></p><p>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.</p><p>The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.</p><p>The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.</p><p>This book is open access.</p><p> </p>
Spesifikasjon
| Produkt | |
|---|---|
| Produktnavn | Automated Reasoning |
| book typ | boker, fagboker, data og informasjonsteknologi |
Populære produkter
Pris og prishistorikk
Akkurat nå er 779,- den billigste prisen for Automated Reasoning blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.
