Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings - Lecture Notes in Computer Science - - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540581567 - June 8, 1994
In case cover and title do not match, the title is correct

Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

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 volume of conference papers has been organized into sections on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, higher-order theorem proving and problem sets.

864 pages, illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 8, 1994
ISBN13 9783540581567
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 864
Dimensions 150 × 220 × 10 mm   ·   1.20 kg
Language German  
Editor Bundy, Alan

Mere med samme udgiver