Automated Reasoning
Language: English
Published by Springer International Publishing AG, CH, 2024
- Softcover
- New
Seller: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA
AbeBooks seller since June 10, 2025
Condition: New
US$ 97.51
Quantity: 1 available
Add to basketItem description from seller
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.
Seller Inventory # LU-9783031635007
- Title
- Automated Reasoning
- Author
- Benzm Ller, Christop
- Publisher
- Springer International Publishing AG, CH
- Publication year
- 2024
- Condition
- New
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3031635000
- ISBN 13
- 9783031635007
- Edition
- 2024 ed.
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.
"Synopsis" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 8 to 11 business days | 8 to 11 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Seller's business information
Rarewaves USA
10100 West Sample Road, Ste 101
Coral Springs, FL U.S.A. 33065
Shipping terms
Please note that we do not offer Priority shipping to any country.
We currently do not ship to the below countries:
Afghanistan
Bhutan
Brazil
Brunei Darussalam
Channel Islands
Chile
Israel
Lao
Mexico
Russian Federation
Saudi Arabia
South Africa
Yemen
Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.