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 : 68V15, Computer science support for mathematical research and practice, Theorem proving
03B35, General logic, Mechanization of proofs and logical operations
03D70, Computability and recursion theory, Inductive definability
03-04, Software, source code, etc. for problems pertaining to mathematical logic and foundations
68-02, Research exposition (monographs, survey articles) pertaining to computer science
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 R
68 BOY (Browse shelf) Available 09400-01

1 exemplaire chez Qarma

Bibliogr. p. 385-387. Index. Appendices

There are no comments for this item.

Log in to your account to post a comment.