First-order logic and automated theorem proving

First-order logic and automated theorem proving

Saved in:
Bibliographic Details
Main Author : Fitting Melvin Chris (Auteur)
Format : Book
Language : anglais
Title statement : First-order logic and automated theorem proving / Melvin Fitting
Edition : Second edition
Published : New York, Berlin, Heidelberg, Paris [etc.] : Springer , C 1996
Physical Description : 1 vol. (XVI-326 p.)
Series : Graduate texts in computer science
Subjects :
Logique du premier ordre
Théorèmes > Démonstration automatique
Logique mathématique

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 68C469 Prêt sans prolongation Available