Normal view MARC view ISBD view

Computing with logic : logic programming with Prolog / David Maier, David S. Warren

Auteur principal : Maier, David, 1953-, AuteurCo-auteur : Warren, David S., AuteurType de document : MonographieLangue : anglais.Pays : Etats Unis.Éditeur : Menlo Park, CA : Benjamin : Cummings Publishing Company, 1988Description : 535 p. : ill. ; 24 cmISBN : 0805366814.Bibliographie : Bibliogr. dispersée. Index.Sujet MSC : 68-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01, Theory of software, General topics
68V15, Computer science support for mathematical research and practice, Theorem proving
68Q60, Theory of computing, Specification and verification
03B35, General logic, Mechanization of proofs and logical operations
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle E
Info MAI (Browse shelf) Available 09814-01

Bibliogr. dispersée. Index

There are no comments for this item.

Log in to your account to post a comment.