• Genere: Libro
  • Lingua: Inglese
  • Editore: Springer
  • Pubblicazione: 07/2024
  • Edizione: 2024

Automated Reasoning

; ;

80,98 €
76,93 €
AGGIUNGI AL CARRELLO
TRAMA
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 reviewed and selected from 115 submissions. 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. This book is open access.  

ALTRE INFORMAZIONI
  • Condizione: Nuovo
  • ISBN: 9783031635007
  • Collana: Lecture Notes in Computer Science
  • Dimensioni: 235 x 155 mm
  • Formato: Brossura
  • Illustration Notes: XV, 424 p. 87 illus., 34 illus. in color.
  • Pagine Arabe: 424
  • Pagine Romane: xv