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.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 2
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.

to post a comment.