First-order logic and automated theorem proving

First-order logic and automated theorem proving

Enregistré dans:
Détails bibliographiques
Auteur principal : Fitting Melvin Chris (Auteur)
Format : Livre
Langue : anglais
Titre complet : First-order logic and automated theorem proving / Melvin Fitting
Édition : Second edition
Publié : New York, Berlin, Heidelberg, Paris [etc.] : Springer , C 1996
Description matérielle : 1 vol. (XVI-326 p.)
Collection : Graduate texts in computer science
Sujets :
Logique du premier ordre
Théorèmes > Démonstration automatique
Logique mathématique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C469 Prêt sans prolongation Disponible