Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 3540550348ISBN 13: 9783540550341
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: 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.
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540550348ISBN 13: 9783540550341
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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 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.
Verlag: Prentice Hall Europe (a Pearson Education company), 1989
ISBN 10: 0745804098ISBN 13: 9780745804095
Anbieter: Hamelyn, Madrid, Spanien
Buch
Zustand: Como nuevo. EAN: 9780745804095 Tipo: Libros Categoría: Título: Deduction Systems in Artificial IntelligenceAutor: Blasius, Karl Hans| Burckert, Hans-Jurgen Editorial: Ellis Horwood Ltd , Publisher Idioma: EN Páginas: 238 Peso: 530.