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
Amorphe SmCo-Magnetschichten
$54.99
Advancement in Materials Processing Technology
$179.99
Quantitative Aspects of Chemical Pharmacology
$54.99
Die Wissenschaft vom Wetter
$49.99
Health Innovation and Social Justice in Brazil
$109.99
Transforming Societies after Political Violence
$159.99
Capabilities for Strategic Advantage
$80.00
Suggestion and Suggestibility
$84.99
Harnstoffsynthese und Harnstoffzyklusenzyme in der Rattenleber bei akuter und chronischer Urmie
$59.99
Translocal Performance in Asian Theatre and Film
$64.99
Service Learning as Pedagogy in Early Childhood Education
$119.99
Gewhnliche Differentialgleichungen
$59.99
Fuzzy Networks for Complex Systems
$129.00
The New Trend of Global Industrial Division of Labor and Chinas Responses
$179.99
Interacting Bose-Fermi Systems in Nuclei
$54.99
Hardware and Software: Verification and Testing
$49.99
Late Quaternary Environmental Change in North-west Europe: Excavations at Holywell Coombe, South-eas
$169.99
Lectures on Geometry
$69.99
LASER 2004
$169.99
Terrorism Within Comparative International Context
$84.99
The United Red Army on Screen: Cinema, Aesthetics and The Politics of Memory
$54.99
Group-Theoretical Methods for Integration of Nonlinear Dynamical Systems
$39.99
Resources for Teaching Mindfulness
$159.99
Trade and the Environment
$39.99
Fielding, Dickens, Gosse, Iris Murdoch and Oedipal Hamlet
$29.99
What Color Is Your Parachute?: Your Guide to a Lifetime of Meaningful Work and Career Success by Richard N. Bolles
$19.99
Staat und Stadt
$59.99
Global Perspectives on Women's Sexual and Reproductive Health Across the Lifecourse
$219.99
William Wordsworth
$54.99
IT-Investitionen verstehen und bewerten
$39.99
Phoniatrics I
$69.99
Government-Business Relations and Regional Development in Post-Reform Mexico
$54.99
Mareczek, Grundlagen der Roboter-Manipulatoren - SET
$49.99
Advanced Database Systems
$39.99
Fly Guy Presents: Weird Animals
$3.74
Mathematics Applied to Engineering, Modelling, and Social Issues
$189.00
Die Entwicklung des deutschen Wirtschaftslebens im letzten Jahrhundert
$59.99
Katherine Applegate Grades 4-6
$24.00
Thomas Hardy
$19.99
A technical history of the Rio Tinto mines: some notes on exploitation from pre-Phoenician times to
$129.00
