Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Artificial Intelligence) - Softcover
- PublisherSpringer
- Publication date2023
- ISBN 10 3031384989
- ISBN 13 9783031384981
- BindingPaperback
- Edition number1
- Number of pages620
- EditorPientka Brigitte, Tinelli Cesare
Buy New
Learn more about this copy
US$ 56.33
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Deduction CADE 29 (Paperback)
Published by
Springer International Publishing AG, Cham
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Paperback
First Edition
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031384981
Buy New
US$ 56.33
Convert currency
Stock Image
Automated Deduction CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 14, 2023, Proceedings
Seller:
Rating
Book Description Paperback. Condition: Brand New. 617 pages. 9.25x6.10x1.65 inches. In Stock. Seller Inventory # __3031384989
Buy New
US$ 45.88
Convert currency
Stock Image
Automated Deduction ? CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1?4, 2023, Proceedings: 14132
Seller:
Rating
Book Description Condition: New. Seller Inventory # 26396942743
Buy New
US$ 62.98
Convert currency
Seller Image
Automated Deduction ¿ CADE 29
Published by
Springer Nature Switzerland Okt 2023
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. 620 pp. Englisch. Seller Inventory # 9783031384981
Buy New
US$ 47.50
Convert currency
Stock Image
Automated Deduction ? CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1?4, 2023, Proceedings: 14132
Print on Demand
Seller:
Rating
Book Description Condition: New. Print on Demand. Seller Inventory # 400515656
Buy New
US$ 66.09
Convert currency
Seller Image
Automated Deduction ¿ CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1¿4, 2023, Proceedings
Published by
Springer Nature Switzerland
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. Seller Inventory # 9783031384981
Buy New
US$ 52.75
Convert currency
Stock Image
Automated Deduction CADE 29 (Paperback)
Published by
Springer International Publishing AG, Cham
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Paperback
First Edition
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031384981
Buy New
US$ 45.84
Convert currency
Seller Image
Automated Deduction - CADE 29
Published by
Springer Nature Switzerland
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is open access, which means that you have free and unlimited accessThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. Seller Inventory # 892114249
Buy New
US$ 43.97
Convert currency
Stock Image
Automated Deduction CADE 29 (Paperback)
Published by
Springer International Publishing AG, Cham
(2023)
ISBN 10: 3031384989
ISBN 13: 9783031384981
New
Paperback
First Edition
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783031384981
Buy New
US$ 70.27
Convert currency