ISBN: 9783540550341 - a resolution principle for a logic with restricted quantifiers: 568 (lecture notes in computer science, 568) (10 resultados)

Paperback. Condición: Very Good. Sorry, No international shipping on this item.0387550348 Ex-library paperback in very nice condition with the usual markings and attachments.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condición: 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.…

Condición: 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.…

Taschenbuch. Condición: 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.…

Taschenbuch. Condición: 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. …