Automated Deduction - Cade-18

18Th International Conference On Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Editor: AndreiVoronkov

Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 546 pages
Size: 235x155 mm
ISBN: 9783540439318
ISBN-10: 3540439315

Our price: £52.99

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Automated Deduction - Cade-18

Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more.

Related links:

Andrei Voronkov
Knowledge-based systems / expert systems
Artificial intelligence
Applications of computing
Computing and information technology
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg

More information from Wikipedia:

Andrei Voronkov
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Dietetics & nutrition

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |