Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Ron Dyckhoff - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540676973 - June 21, 2000
In case cover and title do not match, the title is correct

Ron Dyckhoff
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, St Andrews, Scotland, Uk, July 3-7, 2000 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

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

Not rated yet

This text constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000. Topics covered range from theoretical foundations to implementation, systems development and applications.

440 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 21, 2000
ISBN13 9783540676973
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 440
Dimensions 156 × 234 × 23 mm   ·   635 g
Language German  
Editor Dyckhoff, Roy

Mere med samme udgiver

See all of Ron Dyckhoff ( e.g. Paperback Book )