The Computational Logic Handbook (Perspectives in Computing)
Moore, J. Strother
ISBN 10: 0121229521 ISBN 13: 9780121229528
Edité par Academic Press Inc, 1988
Ancien(s) ou d'occasion
Couverture rigide
Vendeur
Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Honoris Librarius
Membre AbeBooks depuis 1996
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:0121229521. N° de réf. du vendeur 3736440
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : The Computational Logic Handbook (...
Éditeur : Academic Press Inc
Date d'édition : 1988
Reliure : Couverture rigide
Etat : Good