Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-, (Paperback)
(No ratings yet)
Key item features
- Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-, (Paperback)
- Author: Springer
- ISBN: 9783540556022
- Format: Paperback
- Publication Date: 1992-05-27
- Page Count: 800
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreTextbooks
- Pub date1992-05-27
- Pages800
- SubgenreLogic
Current price is USD$109.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tue, Apr 7
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
Other sellers
$107.81
+Free shippingShipping, arrives by Fri, Apr 10 to Columbus, 43215
Sold and shipped by Alibris Books
Free 30-day returns
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.
- Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-, (Paperback)
- Author: Springer
- ISBN: 9783540556022
- Format: Paperback
- Publication Date: 1992-05-27
- Page Count: 800
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Textbooks
Pub date
1992-05-27
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Condition Monitoring and Diagnostic Engineering Management: Proceeding of Comadem 90: The Second International Congress , (Paperback) $109.99
$10999current price $109.99Condition Monitoring and Diagnostic Engineering Management: Proceeding of Comadem 90: The Second International Congress , (Paperback)
14th International Congress for Applied Mineralogy (ICAM2019) (Paperback) $54.70
$5470current price $54.7014th International Congress for Applied Mineralogy (ICAM2019) (Paperback)
Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback) $54.99
$5499current price $54.99Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback)
Lecture Notes in Computer Science Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Book 2993, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Book 2993, (Paperback)
Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings, (Paperback) $93.98
$9398current price $93.98Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings, (Paperback)
Best seller J.K. Lasser J.K. Lasser's Your Income Tax 2026: For Preparing Your 2025 Tax Return, (Paperback) $22.90
Best seller
$2290current price $22.90J.K. Lasser J.K. Lasser's Your Income Tax 2026: For Preparing Your 2025 Tax Return, (Paperback)
25 out of 5 Stars. 2 reviewsCommunications in Computer and Informati Artificial Intelligence Based Smart and Secured Applications: Third International Conference, Ascis 2024, Rajkot, India,, Book 2424, (Paperback) $99.99
$9999current price $99.99Communications in Computer and Informati Artificial Intelligence Based Smart and Secured Applications: Third International Conference, Ascis 2024, Rajkot, India,, Book 2424, (Paperback)
Communications in Computer and Informati Artificial Intelligence Based Smart and Secured Applications: Third International Conference, Ascis 2024, Rajkot, India,, Book 2428, (Paperback) $93.47
$9347current price $93.47Communications in Computer and Informati Artificial Intelligence Based Smart and Secured Applications: Third International Conference, Ascis 2024, Rajkot, India,, Book 2428, (Paperback)
Lecture Notes in Computer Science Smart Computing and Communication: 7th International Conference, Smartcom 2022, New York City, Ny, Usa, November 18-20, , Book 13828, (Paperback) $97.39
$9739current price $97.39Lecture Notes in Computer Science Smart Computing and Communication: 7th International Conference, Smartcom 2022, New York City, Ny, Usa, November 18-20, , Book 13828, (Paperback)
Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009., (Paperback) $54.99
$5499current price $54.99Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009., (Paperback)
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: OTM Confederated International Conferences and Post, (Paperback) $90.66
$9066current price $90.66On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: OTM Confederated International Conferences and Post, (Paperback)
Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15374, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15374, (Paperback)
Artificial General Intelligence: 15th International Conference, Agi 2022, Seattle, Wa, Usa, August 19-22, 2022, Proceedi, (Paperback) $82.90
$8290current price $82.90Artificial General Intelligence: 15th International Conference, Agi 2022, Seattle, Wa, Usa, August 19-22, 2022, Proceedi, (Paperback)
Lecture Notes in Computer Science Serious Games: 10th Joint International Conference, Jcsg 2024, New York City, Ny, Usa, November 7-8, 2024, Proceedings, Book 15259, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Serious Games: 10th Joint International Conference, Jcsg 2024, New York City, Ny, Usa, November 7-8, 2024, Proceedings, Book 15259, (Paperback)
Springer Tracts in Advanced Robotics Field and Service Robotics: Results of the 9th International Conference, Book 105, (Paperback) $107.14
$10714current price $107.14Springer Tracts in Advanced Robotics Field and Service Robotics: Results of the 9th International Conference, Book 105, (Paperback)
Lecture Notes in Computer Science Information Security: 27th International Conference, Isc 2024, Arlington, Va, Usa, October 23-25, 2024, Proceedings, Par, Book 15258, (Paperback) $84.99
$8499current price $84.99Lecture Notes in Computer Science Information Security: 27th International Conference, Isc 2024, Arlington, Va, Usa, October 23-25, 2024, Proceedings, Par, Book 15258, (Paperback)
Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings, (Paperback) $84.95
$8495current price $84.95Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings, (Paperback)
Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005,, (Paperback) $54.99
$5499current price $54.99Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005,, (Paperback)
Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, P, (Paperback) $54.99
$5499current price $54.99Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, P, (Paperback)
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, Pa, Usa, August 7-, (Paperback) $69.99
$6999current price $69.99Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, Pa, Usa, August 7-, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
