Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dyckhoff, Roy (Editor), Herre, Heinrich (Editor), Schroeder-Heister, Peter (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:Lecture Notes in Artificial Intelligence ; 1050
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Architecture, Computer.
Artificial intelligence.
Computer programming.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Summary:This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
Physical Description:X, 322 p. online resource.
ISBN:9783540497516
DOI:10.1007/3-540-60983-0

Similar Items