Items related to Extensions of Logic Programming: 4th International...
Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Lecture Notes in Computer Science) - Softcover
Synopsis
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 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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer-Verlag
- Publication date1994
- ISBN 10 0387580255
- ISBN 13 9780387580258
- BindingPaperback
- LanguageEnglish
- Number of pages360
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
