Copied Automated Deduction - Cade-13
Automated Deduction - Cade-13
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Test by Fire
$54.99
Inszenierungen von Weiblichkeit
$49.99
Incomplete Data and Data Dependencies in Relational Databases
$34.99
Controlling im Betrieblichen Gesundheitsmanagement
$44.99
Efficiency Auditing
$74.99
American Politics in the Age of Ignorance: Why Lawmakers Choose Belief over Research
$54.99
Sweat: A History of Exercise by Bill Hayes
$18.99
Aspects of Ecology and Zoogeography of Recent and Fossil Ostracoda
$329.99
Proceedings of the XI International Scientific Conference "Digital Transformation of the Economy: Ch
$219.99
Computational Science ICCS 2024
$129.00
Women, Literature and Finance in Victorian Britain
$109.99
Weibuch Bildung
$59.95
The Life and Lyrics of Andrew Marvell
$109.99
Nonlinear Analysis, Function Spaces and Applications Vol. 4
$39.99
An Introduction to Meshfree Methods and Their Programming
$169.99
Ecohealth Research in Practice
$169.99
Calendar Mysteries: May Magic
$5.21
Anreizwirkung multidimensionaler Entlohnungssysteme
$79.99
Primary Well-Being: Case Studies for the Growing Child
$49.99
Experience Italy 1 by Kevin Raub
$24.99
Zero Hours and On-call Work in Anglo-Saxon Countries
$169.99
Der Beruf des Buchhalters
$59.99
Intimate Investments in Drag King Cultures
$69.99
Economics of Power Systems
$89.99
Invariant Methods in Discrete and Computational Geometry
$109.99
Transformer-Based Design Techniques for Oscillators and Frequency Dividers
$79.99
Contemporary Reflections on Business Ethics
$69.99
Kompendium der Pharmakologie
$64.99
KI 2009: Advances in Artificial Intelligence
$109.99
Comparative Federalism
$109.00
Analyzing Digital Discourses
$179.99
IT-gesttzte Gesundheitsfrderungsprogramme
$69.99
Global Governance of Education
$129.99
Zoe's Rescue Zoo: The Eager Elephant
$4.13
Trends in business ethics
$39.99
Leistung und Leistungsdiagnostik
$44.99
Eric Sink on the Business of Software
$32.99
Handbook of Multiple Sclerosis
$39.99
Digital Signal Processing in Telecommunications
$219.99
