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

First-Order Logic and Automated Theorem Proving / Melvin Fitting

Public ISBD 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 First-Order Logic and Automated Theorem Proving [Livre] / Melvin Fitting, Auteur  . -  2 éd . - Paris : Springer, 1996 . - 326 pages, 24 cm. ISBN : 978-0-387-94593-4 Index. décimale : 681.5.01 Principes et théorie de l'automation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11840	681.5 FIT	Livre	ECAM	automatique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200