A Computational Logic Handbook (Perspectives in Computing)

Moore, J. Strother,Boyer, Robert S.

ISBN 10: 0121229521 / ISBN 13: 9780121229528

Edité par Academic Pr, 1988

A propos de cet article

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_378725293

Détails bibliographiques

Titre : A Computational Logic Handbook (Perspectives...

Éditeur : Academic Pr

Date d'édition : 1988

Reliure : Hardcover

Etat : Good

A propos de ce titre

Synopsis :

Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.