EphèseLe catalogue de la bibliothèque de l'ECAM

First-Order Logic and Automated Theorem Proving / Melvin Fitting

Titre :	First-Order Logic and Automated Theorem Proving
Type de document :	Livre
Auteurs :	Melvin Fitting, Auteur
Mention d'édition :	2 éd
Editeur :	Paris : Springer
Année de publication :	1996
Importance :	326 pages, 24 cm
ISBN/ISSN/EAN :	978-0-387-94593-4
Index. décimale :	681.5.01 Principes et théorie de l'automation