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 Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Reasoning Ulrich Furbach
Libristo code: 01562445
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2006
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Full description
? points 271 b
40 284 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Spieltheorie fur Dummies Erwin Amann / Book Paperback
common.buy 6 249 Ft
Velké logopedické pexeso 2 Ilona Eichlerová / Book Paperback
common.buy 2 350 Ft
Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding / Book Paperback
common.buy 62 629 Ft
Mirai Nikki 06 Sakae Esuno / Book Paperback
common.buy 3 866 Ft
Wheatgrass: (Hierba de Trigo) Neil Stevens / Book Paperback
common.buy 3 673 Ft
Guia Practica del Rolex Vintage Colin A. Whte / Book Paperback
common.buy 17 062 Ft

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

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 Reasoning
Author Ulrich Furbach, Natarajan Shankar
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 688
EAN 9783540371878
ISBN 3540371877
Libristo code 01562445
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 2140
Dimensions 152 x 229 x 38

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
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

Computer Performance Engineering Nigel Thomas / Book Paperback
common.buy 20 201 Ft
Two Truths and a Lie Scott Turner Schofield / Book Paperback
common.buy 6 755 Ft
Honor Kristen Proby / Book Paperback
common.buy 3 331 Ft
Faster Adam Rapp / Book Paperback
common.buy 5 296 Ft
Blacker the Berry Wallace Thurman / Book Paperback
common.buy 3 584 Ft
Designing Video and Multimedia for Open and Flexible Learning Jack Koumi / Book Hardback
common.buy 102 590 Ft
Ryan Trecartin Linda Norden / Book Hardback
common.buy 19 474 Ft
Natural Disaster Management in the Asia-Pacific Caroline Brassard / Book Hardback
common.buy 40 284 Ft
Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models Francesco Ghetti / Book Paperback
common.buy 40 284 Ft
Privacy and Health Care James M. Humber / Book Hardback
common.buy 42 325 Ft
Dynamical Systems with Applications using Maple (TM) Stephen Lynch / Book Paperback
common.buy 34 781 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?