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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Massive and Irreparable Rotator Cuff Tears
$79.99
Engineering Asset Management 2016
$219.99
Going Global Strategien, Methoden und Techniken des Auslandsgeschfts
$69.99
Apatite
$54.99
Web Page Recommendation Models
$19.99
Calcium in Human Biology
$84.99
An Introduction to Delay Differential Equations with Applications to the Life Sciences
$59.99
On the Interpretation of Treaties
$129.00
Catalysis and the Mechanism of Methane Conversion to Chemicals
$169.99
American Circumstance
$49.99
Einfhrung in die Staatslehre
$59.99
Lichtquanten- und Lichtwellenleiter
$17.99
Plant-Metal Interactions
$249.99
Rational Homotopy Theory
$109.99
Rechtserhaltende Gewalt - zur Kriteriologie
$19.99
Pandemic, Lockdown, and Digital Transformation
$129.99
Lehrbuch des Ingenieurholzbaus
$54.99
Der Einflu von Antihypertonika-Kombinationen (Reserpin, Clonidin und Acetylandromedol) auf den Blut
$54.99
Sekundre Sptsyphilis
$59.99
Applied Rasch Measurement: A Book of Exemplars
$219.99
Advances in Optimization and Applications
$69.99
The European People's Party
$109.99
Human-Computer Interaction: Towards Mobile and Intelligent Interaction Environments
$109.99
NGOs in Chinas Foreign Policy
$109.99
Transformative Researchers and Educators for Democracy
$49.99
Die Wechselbeziehungen zwischen Konstruktion und Fertigung von Stahlbetonfertigteilen, dargestellt a
$49.99
Refractory Metals in Molten Salts
$109.99
The Oddmire: Changeling
$5.96
Hydrophobic Ceramic Membranes for CO2 Capture
$54.99
Governance der Finanzmrkte
$49.99
Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe
$54.99
Nonlinear Hyperbolic Equations, Spectral Theory, and Wavelet Transformations
$84.99
Database Systems for Advanced Applications
$109.99
Lehrbuch Der Theoretischen Physik
$49.99
Technology in Education. Innovations for Online Teaching and Learning
$54.99
Heidegger, Neoplatonism, and the History of Being
$139.99
The Rise of Chinas Innovation Economy
$59.99
Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Ap
$219.99
Unnatural Amino Acids
$169.99
Dragn y sus labores (Dragon Gets By)
$4.49
