Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - A, (Paperback)
(No ratings yet)
Key item features
- Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - A, (Paperback)
- Author: Springer
- ISBN: 9783540615118
- Format: Paperback
- Publication Date: 1996-07-01
- Page Count: 772
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date1996-07-01
- Pages772
- SubgenreArtificial Intelligence
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 Sat, Apr 4
.Order within 11 hr 33 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
Other sellers
$107.90
+Free shippingShipping, arrives by Wed, Apr 8 to Columbus, 43215
Sold and shipped by Endless Reads
Free 30-day returns
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
- Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - A, (Paperback)
- Author: Springer
- ISBN: 9783540615118
- Format: Paperback
- Publication Date: 1996-07-01
- Page Count: 772
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
Computing & Internet
Pub date
1996-07-01
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
Iutam Symposia Ice-Structure Interaction: Iutam/Iahr Symposium St. John's, Newfoundland Canada 1989, (Paperback) $107.90
$10790current price $107.90Iutam Symposia Ice-Structure Interaction: Iutam/Iahr Symposium St. John's, Newfoundland Canada 1989, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings, Book 3114, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Computer Aided Verification: 16th International Conference, Cav 2004, Boston, Ma, Usa, July 13-17, 2004, Proceedings, Book 3114, (Paperback)
Intelligent Tutoring Systems: 12th International Conference, Its 2014, Honolulu, Hi, Usa, June 5-9, 2014. Proceedings, (Paperback) $100.23
$10023current price $100.23Intelligent Tutoring Systems: 12th International Conference, Its 2014, Honolulu, Hi, Usa, June 5-9, 2014. Proceedings, (Paperback)
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994, (Paperback) $56.14
$5614current price $56.14Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994, (Paperback)
Springer Proceedings in Physics Fluctuations and Sensitivity in Nonequilibrium Systems: Proceedings of an International Conference, University of Texas,, Book 1, (Paperback) $109.99
$10999current price $109.99Springer Proceedings in Physics Fluctuations and Sensitivity in Nonequilibrium Systems: Proceedings of an International Conference, University of Texas,, Book 1, (Paperback)
IFIP Advances in Information and Communi Human-Computer Interaction Symposium: Ifip 20th World Computer Congress, Proceedings of the 1st Tc 13 Human-Computer Int, Book 272, (Paperback) $105.66
$10566current price $105.66IFIP Advances in Information and Communi Human-Computer Interaction Symposium: Ifip 20th World Computer Congress, Proceedings of the 1st Tc 13 Human-Computer Int, Book 272, (Paperback)
Artificial General Intelligence: 18th International Conference, Agi 2025, Reykjavic, Iceland, August 10-13, 2025, Procee, (Paperback) $89.99
$8999current price $89.99Artificial General Intelligence: 18th International Conference, Agi 2025, Reykjavic, Iceland, August 10-13, 2025, Procee, (Paperback)
Lecture Notes in Computer Science 7th International Conference on Automated Deduction: Proceedings, Book 170, (Paperback) $104.92
$10492current price $104.92Lecture Notes in Computer Science 7th International Conference on Automated Deduction: Proceedings, Book 170, (Paperback)
IFIP Advances in Information and Communi Biologically-Inspired Collaborative Computing: Ifip 20th World Computer Congress, Second Ifip Tc 10 International Confer, Book 268, (Paperback) $106.82
$10682current price $106.82IFIP Advances in Information and Communi Biologically-Inspired Collaborative Computing: Ifip 20th World Computer Congress, Second Ifip Tc 10 International Confer, Book 268, (Paperback)
Lecture Notes in Computer Science Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings, Book 14680, (Paperback) $109.99
$10999current price $109.99Lecture Notes in Computer Science Reversible Computation: 16th International Conference, Rc 2024, Toruń, Poland, July 4-5, 2024, Proceedings, Book 14680, (Paperback)
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, (Paperback) $79.03
$7903current price $79.03Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, (Paperback)
Algorithmic Decision Theory: 8th International Conference, ADT 2024, New Brunswick, Nj, Usa, October 14-16, 2024, Procee, (Paperback) $64.99
$6499current price $64.99Algorithmic Decision Theory: 8th International Conference, ADT 2024, New Brunswick, Nj, Usa, October 14-16, 2024, Procee, (Paperback)
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Austr, (Paperback) $54.99
$5499current price $54.99Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Austr, (Paperback)
Communications in Computer and Informati South African Institute of Computer Scientists and Information Technologists: 44th Annual Conference, Saicsit 2023, Pret, Book 1878, (Paperback) $75.65 Was $84.99
$7565current price $75.65, Was $84.99$84.99Communications in Computer and Informati South African Institute of Computer Scientists and Information Technologists: 44th Annual Conference, Saicsit 2023, Pret, Book 1878, (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)
Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - Augu, (Paperback) $32.59
$3259current price $32.59Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - Augu, (Paperback)
Logic Programming: 25th International Conference, Iclp 2009, Pasadena, Ca, Usa, July 14-17, 2009, Proceedings, (Paperback) $60.29 Was $71.83
$6029current price $60.29, Was $71.83$71.83Logic Programming: 25th International Conference, Iclp 2009, Pasadena, Ca, Usa, July 14-17, 2009, Proceedings, (Paperback)
Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15382, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15382, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 199, Book 1102, (Paperback) $62.38
$6238current price $62.38Lecture Notes in Computer Science Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 199, Book 1102, (Paperback)
If You Don't Know Where You Are Going, You Probably Will End Up Somewhere Else: Computer Network Operations Force Presentation (Paperback) $56.59
$5659current price $56.59If You Don't Know Where You Are Going, You Probably Will End Up Somewhere Else: Computer Network Operations Force Presentation (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
