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.
Autres éditions populaires du même 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
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10 : 3540550348
ISBN 13 : 9783540550341
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-592-948
Acheter D'occasion
EUR 4,76
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers 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 58,30
Expédition à EUR 13,84
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,41
Expédition à EUR 17,90
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 4 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
Vendeur : 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. 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)