Articles liés à The Computational Logic Handbook
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurAcademic Press Inc
- Date d'édition1997
- ISBN 10 0121229521
- ISBN 13 9780121229528
- ReliureRelié
- Langueanglais
- Nombre de pages408
- Coordonnées du fabricantnon disponible
Résultats de recherche pour The Computational Logic Handbook
Image d'archives
A Computational Logic Handbook (Perspectives in Computing)
Edité par
Academic Pr, 1988
ISBN 10 : 0121229521
ISBN 13 : 9780121229528
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. 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
Quantité disponible : 1 disponible(s)
Image d'archives
A Computational Logic Handbook (Perspectives in Computing)
Edité par
Academic Pr, 1988
ISBN 10 : 0121229521
ISBN 13 : 9780121229528
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA75801212295215
Quantité disponible : 1 disponible(s)