Articles liés à Instantiation Theory: On the Foundations of Automated...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,40
EUR 3,43 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Instantiation Theory: On the Foundations of Automated...
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 1991
ISBN 10 : 3540543333
ISBN 13 : 9783540543336
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD1419738
Quantité disponible : 1 disponible(s)
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020169988
Quantité disponible : Plus de 20 disponibles
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540543336
Quantité disponible : Plus de 20 disponibles
Image d'archives
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540543336_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Instantiation Theory : On the Foundations of Automated Deduction
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540543336
Quantité disponible : 10 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. 148. N° de réf. du vendeur 261739943
Quantité disponible : 4 disponible(s)
Image d'archives
Instantiation Theory
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7156600
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Instantiation Theory
Edité par
Springer Berlin Heidelberg Aug 1991, 1991
ISBN 10 : 3540543333
ISBN 13 : 9783540543336
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences. 148 pp. Englisch. N° de réf. du vendeur 9783540543336
Quantité disponible : 2 disponible(s)
Image d'archives
Instantiation Theory
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 148. N° de réf. du vendeur 181739949
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Instantiation Theory
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540543333
ISBN 13 : 9783540543336
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to mos. N° de réf. du vendeur 4893152
Quantité disponible : Plus de 20 disponibles