A computational logic / Robert S. Boyer and J. Strother Moore
Type 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 proving03B35, 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 Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 68 BOY (Browse shelf(Opens below)) | Available | 09400-01 |
1 exemplaire chez Qarma
Bibliogr. p. 385-387. Index. Appendices
There are no comments on this title.