Normal view MARC view ISBD view

The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren

Auteur principal : Sterling, Leon, AuteurCo-auteur : Shapiro, Ehud, 1955-, AuteurAuteur secondaire : Warren, David H. D., PréfacierType de document : MonographieCollection : MIT series in logic programmingLangue : anglais.Pays : Etats Unis.Éditeur : Cambridge : The MIT Press, 1986Description : 1 vol. (XX-437 p.) : ill., couv. ill. en coul. ; 23 cmISBN : 9780262193382; 9780262691055.Bibliographie : Bibliogr. p. [407]-414. Index.Sujet MSC : 68N01, Computer science, General topics in the theory of software
68V15, Computer science support for mathematical research and practice, Theorem proving
68T20, Computer science, Problem solving in the context of artificial intelligence
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 STE (Browse shelf) Available 09842-01

Bibliogr. p. [407]-414. Index

There are no comments for this item.

Log in to your account to post a comment.