Copied Automated Deduction - CADE-11
Automated Deduction - CADE-11
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.
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
Aikido as Transformative and Embodied Pedagogy
$49.99
Generalized Curvatures
$129.99
Reversible Computation
$54.99
Antikerezeption in der deutschen Literatur vom Renaissance-Humanismus bis zur Gegenwart
$39.99
Return of the Hustle
$39.99
Enzyme Handbook 14
$54.99
Neonatal Kidney and Fluid-Electrolytes
$219.99
Authoritarian Populism in Malaysia
$109.99
Geschichte der mittelalterlichen Literatur als Aufgabe
$44.99
SU(n), Darstellungstheorie und deren Anwendung im Quarkmodell
$49.99
The Co-creative Meeting
$54.99
Facility Management im Hochbau
$34.99
Interactive Collaborative Information Systems
$169.00
Narratives of Womens Health and Hysteria in the Nineteenth-Century Novel
$89.00
Strategische Lieferantenentwicklung
$69.99
Timing Neutron Stars: Pulsations, Oscillations and Explosions
$169.99
Aktivisten der Normalbiographie
$39.99
Staging Black Feminisms
$39.99
Engineering and Application of Pluripotent Stem Cells
$329.99
Trainingsbuch Fernsehreportage
$29.99
Captain Underpants #1: The Adventures of Captain Underpants (Hardcover)
$9.74
Food Safety in Poultry Meat Production
$249.99
Biosignatures for Astrobiology
$149.00
Bertolt Brecht
$29.99
Innovations in Technologies for Fermented Food and Beverage Industries
$189.00
Grundkurs Kosten- und Leistungsrechnung
$29.99
Schizophrenien
$24.99
Die Wrde des Kindes ist antastbar
$17.99
Die Ostsahara im Sptquartr
$259.00
Aktienkursreaktionen auf Direktinvestitionen in Osteuropa
$64.99
Coordination Models and Languages
$129.99
Latin American Advances in Subjectivity and Development
$199.99
Socio-Economic Impacts of Bioenergy Production
$109.99
Cognitive Infocommunications, Theory and Applications
$109.99
Micelles
$54.99
Operative Approaches to Nipple-Sparing Mastectomy
$139.99
Modal Analysis and Testing
$54.99
Indigenous Crime and Settler Law
$39.99
Lunar Domes
$69.99
Literary Festivals and Contemporary Book Culture
$109.99
