Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - William Mccune - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540631040 - June 18, 1997
In case cover and title do not match, the title is correct

William Mccune
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Price
Íkr 8,099
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 13 - 27
Get notified about new William Mccune releases

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

Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.

469 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 18, 1997
ISBN13 9783540631040
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 469
Dimensions 156 × 234 × 24 mm   ·   671 g
Language German  
Editor Mccune, William

More by William Mccune

Show all

More from the same publisher

See all of William Mccune ( e.g. Paperback Book )