Computing with logic : logic programming with Prolog / David Maier, David S. Warren
Type 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 science68N01, Computer science, General topics in the theory of software
68V15, Computer science support for mathematical research and practice, Theorem proving
68Q60, Computer science - Theory of computing, Specification and verification
03B35, General logic, Mechanization of proofs and logical operations Item type:
Monographie
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Réserve | Info MAI (Browse shelf(Opens below)) | Available | 09814-01 |
Bibliogr. dispersée. Index
There are no comments on this title.