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 William Mccune

Name: 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: 54.49 USD
Availability: OutOfStock
Author: William Mccune

Price

$ 54.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

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

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