Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Deduction - CADE-21

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Deduction - CADE-21 Frank Pfenning
Libristo code: 01568871
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2007
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... Full description
? points 136 b
20 340 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Pourquoi la Science n'aime pas les femmes Flex / Book Paperback
common.buy 7 775 Ft
Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri / Book Paperback
common.buy 10 619 Ft
Der Tod Abels Salomon Geßner / Book Hardback
common.buy 8 866 Ft
MORTEL.LES RIVARD ALICE Book binding.
common.buy 11 294 Ft
Die Geschichte Des Tom Jones, Teil 2 Henry Fielding / Book Paperback
common.buy 4 643 Ft
Jana Eyrová Charlotte Brontëová / Book Hardback
common.buy 3 987 Ft
Anni und der Weihnachtsmann Reinhard Heinrich / Book Hardback
common.buy 7 100 Ft
CANCION GRIS MANILLA / Book Book
common.buy 2 905 Ft
Dong Song Hoang Tưởng - El Rio Fantasioso (Vietnamese & Spanish edition) Thuy Huong Nguyen / Book Paperback
common.buy 7 955 Ft
ВКЛЮЧЕНИЕ КОММА GC JAIN / Book Paperback
common.buy 8 838 Ft
200%VISUEL TABLETTES ANDROID GENEVRAY J / Book Paperback
common.buy 9 079 Ft
Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer / Book Paperback
common.buy 29 716 Ft
Preussische Adel bis 1918 Thomas Hallmann / Book Paperback
common.buy 6 769 Ft
Expressionismus und Georg Heyms "Der Gott der Stadt als beispielhafte, literarische Produktion Florian Meier / Book Paperback
common.buy 6 410 Ft
Hiob Joseph Roth / Book Paperback
common.buy 3 968 Ft
Estudo da degradacao ambiental provocada pelas acoes socioespaciais José Gustavo da Silva Melo / Book Paperback
common.buy 14 138 Ft
Spiegelbild im goldnen Auge Carson McCullers / Book Paperback
common.buy 4 672 Ft
Elemens de Numismatique: Ou Introduction A La Connaissance Des Medailles Antiques DUMERSAN-T / Book Paperback
common.buy 6 816 Ft
Fusionskontrolle im Medienbereich. Ekkehard Spieler / Book Paperback
common.buy 26 004 Ft
Modern Keyboard, Beiheft 1-2 Günter Loy / Book Sheet
common.buy 4 691 Ft
On the Generalized: A Buddhist View of the Analects 莲龙居士 / Book Paperback
common.buy 4 209 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Deduction - CADE-21
Author Frank Pfenning
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 524
EAN 9783540735946
ISBN 3540735941
Libristo code 01568871
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 813
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster / Book Paperback
common.buy 40 562 Ft
Magnitude and Delay Approximation of 1-D and 2-D Digital Filters Belle A. Shenoi / Book Paperback
common.buy 20 340 Ft
REINCARNATION OF SHALEENA MCBA Dessie Mae / Book Paperback
common.buy 3 354 Ft
Spann's Guide to Gibson 1902-1941 Joseph E. Spann / Book Paperback
common.buy 12 149 Ft
Groupthink Versus High-Quality Decision Making in International Relations Scott Crichlow / Book Hardback
common.buy 61 700 Ft
Invitation to Modern Number Theory Steven J. Miller / Book Hardback
common.buy 48 847 Ft
Moving Pixels Peter Weishar / Book Hardback
common.buy 17 421 Ft
Cyanobacterial Toxins of Drinking Water Supplies Ian Robert Falconer / Book Hardback
common.buy 137 793 Ft
Dissertation by Way of Inquiry Into the True Import and Application of the Vision Related Dan IX Ver20 to the End, Usually Called Daniel's Prophecy of Benjamin Blayney / Book Paperback
common.buy 7 492 Ft
Dramatic Action in Greek Tragedy and Noh Mae J. Smethurst / Book Paperback
common.buy 22 725 Ft
What He's Poised to Do Ben Greenman / Book Paperback
common.buy 4 898 Ft
On Literature, Culture, and Religion Irving Babbitt / Book Paperback
common.buy 30 004 Ft
Bible Walkthrough - 18 - Joshua to Ruth Cliff Taylor / Book Paperback
common.buy 2 995 Ft
The Great IRS Hoax, Volume 6, Form #11.302 Family Guardian Fellowship / Book Paperback
common.buy 21 691 Ft
31 Days of Poetry Prompts: 11 words Jim Russo / Book Paperback
common.buy 2 995 Ft
Second Rebel Lewis / Book Hardback
common.buy 9 750 Ft
Astronomy For Dummies, 5th Edition (+ Chapter Quiz zes Online) Richard T. Fienberg / Book Paperback
common.buy 7 308 Ft
Introduction to C Programming Language M. Jhansi / Book Paperback
common.buy 21 526 Ft
Beautiful World Coloring Book Car Pintos / Book Paperback
common.buy 6 410 Ft
A Surprise for Willow Bea Jackson / Book Paperback
common.buy 2 485 Ft
When Kids Can't Read-What Teachers Can Do Kylene Beers / Audiobook MP3
common.buy 9 225 Ft
Made in Germany Leonard Freed / Book Hardback
common.buy 20 789 Ft
Top
Granny Fixit and the Ball JANE CADWALLADER / Book Paperback
common.buy 2 159 Ft
Paradise Lost and the Rhetoric of Literary Forms Barbara Kiefer Lewalski / Book Hardback
common.buy 75 687 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?