Articles liés à A Resolution Principle for a Logic with Restricted...
Synopsis
This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour A Resolution Principle for a Logic with Restricted...
Image d'archives
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 1991
ISBN 10 : 3540550348
ISBN 13 : 9783540550341
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Sorry, No international shipping on this item.0387550348 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-2008
Acheter D'occasion
EUR 22,56
Expédition à EUR 6,03
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, 568)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540550341_new
Acheter neuf
EUR 59,25
Expédition à EUR 13,97
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
A Resolution Principle for a Logic with Restricted Quantifiers
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540550341
Acheter neuf
EUR 56,91
Expédition à EUR 18,06
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
A Resolution Principle for a Logic with Restricted Quantifiers
Edité par
Springer Berlin Heidelberg, Springer Dez 1991, 1991
ISBN 10 : 3540550348
ISBN 13 : 9783540550341
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 -This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of constraint theory and a set of distinguishedconstraints.The book provides a calculus for this constrained logicbased on a generalization of Robinson's resolutionprinciple. Technically, the unification procedure of theresolution rule is replaced by suitable constraint-solvingmethods. The calculus is proven sound and complete for therefutation of sets of constrained clauses. Using a new andelegant generalization of the notion ofa ground instance,the proof technique is a straightforward adaptation of theclassical proof technique.The author demonstrates that the constrained logic schemecan be instantiated by well-known sorted logics orequational theories and also by extensions of predicatelogics with general equational constraints or conceptdescription languages. 132 pp. Englisch. N° de réf. du vendeur 9783540550341
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
A Resolution Principle for a Logic with Restricted Quantifiers
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540550348
ISBN 13 : 9783540550341
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of c. N° de réf. du vendeur 4893431
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A Resolution Principle for a Logic with Restricted Quantifiers
Edité par
Springer, Springer Dez 1991, 1991
ISBN 10 : 3540550348
ISBN 13 : 9783540550341
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 132 pp. Englisch. N° de réf. du vendeur 9783540550341
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Resolution Principle for a Logic with Restricted Quantifiers
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of constraint theory and a set of distinguishedconstraints.The book provides a calculus for this constrained logicbased on a generalization of Robinson's resolutionprinciple. Technically, the unification procedure of theresolution rule is replaced by suitable constraint-solvingmethods. The calculus is proven sound and complete for therefutation of sets of constrained clauses. Using a new andelegant generalization of the notion ofa ground instancethe proof technique is a straightforward adaptation of theclassical proof technique.The author demonstrates that the constrained logic schemecan be instantiated by well-known sorted logics orequational theories and also by extensions of predicatelogics with general equational constraints or conceptdescription languages. N° de réf. du vendeur 9783540550341
Acheter neuf
EUR 53,49
Expédition à EUR 61,07
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
A Resolution Principle for a Logic with Restricted Quantifiers
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. A Resolution Principle for a Logic with Restricted Quantifiers | Hans-Jürgen Bürckert | Taschenbuch | xii | Englisch | 1991 | Springer | EAN 9783540550341 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 102135611
Acheter neuf
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)