Robert Nieuwenhuis
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence Robert Nieuwenhuis 2005 edition

Name: Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence
Price: 54.99 USD
Availability: OutOfStock
Author: Robert Nieuwenhuis

Price

$ 54.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence

Robert Nieuwenhuis

2005 edition

Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed.

466 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 14, 2005
ISBN13	9783540280057
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	466
Dimensions	155 × 235 × 24 mm · 662 g
Language	German
Editor	Nieuwenhuis, Robert