Paperback. Condition: Very Good. 0387580255 Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.61
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.94
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
US$ 87.11
Quantity: Over 20 available
Add to basketPaperback. Condition: New. 1994th.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
Taschenbuch. Condition: Neu. Extensions of Logic Programming | 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings | Roy Dyckhoff | Taschenbuch | viii | Englisch | 1994 | Springer | EAN 9783540580256 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Rarewaves.com UK, London, United Kingdom
US$ 73.49
Quantity: Over 20 available
Add to basketPaperback. Condition: New. 1994th.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.