Instantiation Theory: On the Foundations of Automated Deduction - Couverture souple

Williams, James G.

 
9780387543338: Instantiation Theory: On the Foundations of Automated Deduction
Couverture souple
ISBN 10 : 0387543333 ISBN 13 : 9780387543338
Editeur : Springer-Verlag, 1991

Synopsis

Instantiation Theory This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given. Full description

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag
Date d'édition
1991
Langue
anglais
ISBN 10 
0387543333
ISBN 13 
9780387543338
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540543336: Instantiation Theory: On the Foundations of Automated Deduction

Edition présentée

ISBN 10 :  3540543333 ISBN 13 :  9783540543336
Editeur : Springer Berlin Heidelberg, 2008
Couverture souple