Normal view MARC view ISBD view

A computational logic / Robert S. Boyer and J. Strother Moore

Auteur principal : Boyer, Robert S., AuteurCo-auteur : Moore, J. Strother, 1947-, AuteurType de document : MonographieCollection : ACM monograph seriesLangue : anglais.Pays : Etats Unis.Éditeur : Orlando : Academic Press, 1979Description : 1 vol. (XIV-397 p.) ; 24 cmISBN : 0121229505.ISSN : 0572-4252.Bibliographie : Bibliogr. p. 385-387. Index. Appendices.Sujet MSC : 68T15, Computer science -- Artificial intelligence, Theorem proving (deduction, resolution, etc.)
03B35, Mathematical logic and foundations -- General logic, Mechanization of proofs and logical operations
03D70, Mathematical logic and foundations -- Computability and recursion theory, Inductive definability
03-04, Mathematical logic and foundations, Explicit machine computation and programs (not the theory of computation or programming)
68-02, Computer science, Research exposition (monographs, survey articles)
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
Salle R
68 BOY (Browse shelf) Available 09400-01

Bibliogr. p. 385-387. Index. Appendices

There are no comments for this item.

Log in to your account to post a comment.