Copied Automated Deduction - CADE-14
Automated Deduction - CADE-14
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Business Information Systems Workshops
$54.99
The Withering of the Welfare State
$54.99
Group-Theoretic Algorithms and Graph Isomorphism
$19.99
Receiver Design for High Spectral Efficiency Communication Systems in Beyond
$169.99
Mechanical Characterization Using Digital Image Correlation
$99.99
Untersuchungen ber die Entwsserung durch Heizl umbenetzter Steinkohlenschlmme, insbesondere ber
$59.99
Elemente der Ersten Hauptgruppe Einschl. Ammonium
$54.99
Access Surgery
$69.99
Modeling, Design, Construction, and Operation of Power Generators with Solid Oxide Fuel Cells
$159.99
Marketing fr die Private Finanzplanung
$74.99
Management-Intelligenz
$64.99
Beginning RPG Maker MV
$79.99
Biomedical and Other Applications of Soft Computing
$179.99
Managing QoS in Multimedia Networks and Services
$219.99
Energy Density Functional Theory of Many-Electron Systems
$259.00
Essays in Logical Semantics
$54.99
Independent Advocacy and Spiritual Care
$89.99
Taurine 7
$259.00
Asian Migrants and Education
$109.99
Compounds of Transition Metals
$54.99
The Police Mystique
$54.99
Computing and Combinatorics
$109.99
The SOULS of Black Faculty and Staff in the American Academy
$139.99
Masculinity, Meditation and Mental Health
$84.99
Notes on Wall Vegetation
$54.99
Entwurfsmuster
$99.00
Groe technische Gefahrenpotentiale
$54.99
Proceedings of the 2012 International Conference on Applied Biotechnology (ICAB 2012)
$219.99
Viral Vectors in Veterinary Vaccine Development
$129.99
Security of FPGA-Accelerated Cloud Computing Environments
$89.99
Fertigungsverfahren und Spannungsverlauf bei Kreissgeblttern fr Holz
$59.99
Ranked Set Sampling
$109.99
Single-Molecule Electronics
$129.99
Warranty Chain Management
$169.99
Finite Element and Boundary Element Techniques from Mathematical and Engineering Point of View
$54.99
High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Proc
$169.99
Mobbing im Heim
$39.99
STACS 91
$84.99
Lipophilic Vitamins in Health and Disease
$129.00
South-South Cooperation
$54.99
