Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

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.

 

1145891139
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

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.

 

0.0 In Stock
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

eBook2024 (2024)

FREE

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers


Overview

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.

 


Product Details

ISBN-13: 9783031635014
Publisher: Springer-Verlag New York, LLC
Publication date: 07/01/2024
Series: Lecture Notes in Computer Science , #14740
Sold by: Barnes & Noble
Format: eBook
File size: 53 MB
Note: This product may take a few minutes to download.
From the B&N Reads Blog

Customer Reviews