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, 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Current library Call number Status Date due Barcode
Salle E
Info MAI (Browse shelf(Opens below)) Available 09814-01

Bibliogr. dispersée. Index

There are no comments on this title.

to post a comment.