A computational logic handbook / Robert S. Boyer, J. Strother Moore

Auteur: Boyer, Robert S. - AuteurCo-auteur: Moore, J. Strother (1947-) - AuteurType de document: MonographieCollection: Perspectives in computing ; 23Langue: anglaisPays: Etats UnisÉditeur: Boston : Academic Press, 1988Description: 1 vol. (XVI- 408 p.) ; 24 cm ISBN: 0121229521 ; rel. Bibliographie: Bibliography: p. 397-399. Index. Sujets MSC: 68T15 Computer science -- Artificial intelligence -- Theorem proving (deduction, resolution, etc.)
03B35 Mathematical logic and foundations -- General logic -- Mechanization of proofs and logical operations
68-02 Computer science -- Research exposition (monographs, survey articles)
03-02 Mathematical logic and foundations -- Research exposition (monographs, survey articles)
Location Call Number Status Date Due
Salle R 05882-01 / 68 BOY (Browse Shelf) Available

Bibliography: p. 397-399. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |