Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

Saved in:
Bibliographic Details
Main Authors : Chang Chin-Liang (Auteur), Lee Richard Char-Tung (Auteur)
Format : Book
Language : anglais
Title statement : Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Published : Orlando Florida, London [etc.] : Academic press , cop. 1973
Physical Description : XII-331 p.
Series : Computer science and applied mathematics
Titre de l'ensemble : Computer science and applied mathematics
Subjects :
Logique mathématique
Intelligence artificielle
Théorèmes > Démonstration automatique

BU Censive

Holdings details from BU Censive
Location Call Number Loan type Status
Bât. Censive, 1er étage, salle 111 L 11851 Empruntable Available