Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Franz Baader

Cena

zł 271,90

Zamówione z odległego magazynu

Przewidywana dostawa 11 - 20 lis

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

512 pages, biography

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	16 lipca 2003
ISBN13	9783540405597
Wydawcy	Springer-Verlag Berlin and Heidelberg Gm
Strony	512
Wymiary	155 × 235 × 26 mm · 725 g
Język	German
Redaktor	Baader, Franz

Pokaż wszystko

Więcej od Franz Baader

Zobacz wszystko od Franz Baader ( np. Paperback Book , Book i Hardcover Book )