Skip to main content

CURRENTLY SOLD OUT

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings by Frank Pfenning (Paperback, 2007)

About this product

About this product

Product Information

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540735946
eBay Product ID (ePID)
95709191

Product Key Features

Author
Frank Pfenning
Publication Name
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2007
Type
Textbook
Number of Pages
524 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
4603
Item Weight
813g

Additional Product Features

Series Title
Lecture Notes in Artificial Intelligence
Editor
Frank Pfenning
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.64 New
---- Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.39 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.40
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $124.20
Sapiens A Brief History of Humankind by Yuval Noah Harari Paperback Book NEW
AU $19.57
Trending at AU $19.77
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.18
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.73
Trending at AU $36.70
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $37.67

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like