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.
Autres éditions populaires du même titre
Résultats de recherche pour Instantiation Theory: On the Foundations of Automated...
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction
Edité par
Springer-Verlag, 1991
ISBN 10 : 0387543333
ISBN 13 : 9780387543338
Ancien ou d'occasion
Couverture souple
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Springer-Verlag, 1991. This Book is in Good Condition. Normal wear to covers and edges, text is clean with no marks, binding tight. Not Ex-Library or Remaindered. 100% Guaranteed. paperback. Good. N° de réf. du vendeur 623877
Acheter D'occasion
EUR 7,12
Frais de port :
EUR 1,69
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)
Edité par
Springer-Verlag, 1991
ISBN 10 : 0387543333
ISBN 13 : 9780387543338
Ancien ou d'occasion
Couverture souple
Vendeur : PAPER CAVALIER US, Brooklyn, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. N° de réf. du vendeur 9780387543338-3
Acheter D'occasion
EUR 9,60
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. viii + 133. N° de réf. du vendeur 2650372292
Acheter neuf
EUR 46,41
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. viii + 133 Illus. N° de réf. du vendeur 58138907
Acheter neuf
EUR 47,27
Frais de port :
EUR 7,39
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. viii + 133. N° de réf. du vendeur 1850372302
Acheter neuf
EUR 48,32
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)
Edité par
Springer Verlag, 1991
ISBN 10 : 0387543333
ISBN 13 : 9780387543338
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA70403875433335
Acheter D'occasion
EUR 78,48
Frais de port :
EUR 28,43
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)