Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Lecture Notes in Artificial Intelligence - A Voronkov - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540439318 - July 17, 2002
In case cover and title do not match, the title is correct

A Voronkov
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Lecture Notes in Artificial Intelligence 2002 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz.

540 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 17, 2002
ISBN13 9783540439318
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 540
Dimensions 155 × 235 × 28 mm   ·   762 g
Language German  
Editor Voronkov, Andrei

Mere med samme udgiver

See all of A Voronkov ( e.g. Paperback Book )