Automated Deduction ? CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Language: English
Published by Springer, 2021
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 86.48
Quantity: 4 available
Add to basketItem description from seller
Print on Demand.
Seller Inventory # 391464604
- Title
- Automated Deduction ? CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
- Publisher
- Springer
- Publication year
- 2021
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3030798755
- ISBN 13
- 9783030798758
The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 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.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.69 | US$ 13.18 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery