Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science - R Gore - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540422549 - June 6, 2001
In case cover and title do not match, the title is correct

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science 2001 edition

Price
$ 104.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16
Add to your iMusic wish list

708 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 6, 2001
ISBN13 9783540422549
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 712
Dimensions 155 × 235 × 36 mm   ·   1.08 kg
Language German  
Editor Gore, Rajeev
Editor Leitsch, Alexander
Editor Nipkow, Tobias

Mere med samme udgiver