Copied Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
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
Combinatorics on Words
$54.99
Making Common Cause
$54.99
Computing and Machine Learning
$189.00
Computational Aspects of Structural Acoustics and Vibration
$129.00
Hunger Games: The Ballad of Songbirds and Snakes
$12.74
The Future of Scholarly Writing
$54.99
Kriegschirurgisches Merkblatt
$54.99
Next Generation Smart Grids: Modeling, Control and Optimization
$199.99
Gracias, NASA!
$4.46
Visualization of Digital Terrain and Landscape Data
$84.99
Akuter Thoraxschmerz
$69.99
F. Scott Fitzgerald
$39.99
The Geopolitics of Europes Identity
$79.99
Frida, el misterio del anillo del pavo real y yo
$5.24
Coxiella burnetii: Recent Advances and New Perspectives in Research of the Q Fever Bacterium
$169.00
Auswrtige Kulturpolitik fr Kinder
$49.99
Branches - Unicorn Diaries: Tormenta en el monte Blancura
$5.24
Programmieren in Prolog
$54.99
Die Amitose der Tierischen und Menschlichen Zelle
$59.99
Innovations in Enterprise Information Systems Management and Engineering
$54.99
Geronimo Stilton and the Kingdom of Fantasy #15: The Golden Key (Hardcover)
$12.74
System of Human Activity Systems
$119.00
Database Theory - ICDT '92
$39.99
Schnitte und Stanzen
$59.99
A Practical Approach to VLSI System on Chip (SoC) Design
$69.99
The Establishment of Spermatogenesis in the Seminiferous Epithelium of the Pubertal Golden Hamster (
$109.99
Strukturiert Programmieren
$59.99
Interwar London after Dark in British Popular Culture
$119.99
IUTAM Symposium on The Physics of Wall-Bounded Turbulent Flows on Rough Walls
$84.99
Microcirculation in Fractal Branching Networks
$129.00
Reproduktionsimmunologie
$99.99
Role of RNA and DNA in Brain Function
$169.00
Nonlinear Diffusion Equations and Their Equilibrium States, 3
$169.99
Adaptive and Learning Agents
$54.99
Return Migrants in Hong Kong, Singapore and Israel
$89.00
Taschenbuch fr die Frberei mit Bercksichtigung der Druckerei
$59.99
DNA Vaccination/Genetic Vaccination
$84.99
Learning in School, Home and Community
$109.99
Dynamic International Oil Markets
$109.99
Ways of Learning to Teach
$49.99
