Springer
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
Product Code:
9783540580256
ISBN13:
9783540580256
Condition:
New
$61.47
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
$61.47
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.
| Author: Roy Dyckhoff |
| Publisher: Springer |
| Publication Date: May 20, 1994 |
| Number of Pages: 368 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540580255 |
| ISBN-13: 9783540580256 |
Related Products
