Extensions of Logic Programming

Springer Book Archives
1994. Buch. vIII, 368 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-58025-6
Format (B x L): 15,5 x 23,5 cm
Gewicht: 1160 g
In englischer Sprache
Das Werk ist Teil der Reihen:
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.



lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
85,59 €
inkl. MwSt.
Herausgegeben von: link iconRoy Dyckhoff