Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings (Lecture Notes in Computer Science, 1050) - Softcover

Elp '9 (1996 Leipzig, Germany); Dyckhoff, Roy; Herre, Heinrich; Schroeder-Heister, Peter Joseph

 
9780387609836: Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings (Lecture Notes in Computer Science, 1050)
Softcover
ISBN 10: 0387609830 ISBN 13: 9780387609836
Publisher: Springer Verlag, 1996

This specific ISBN edition is currently not available.

Synopsis

Extensions of Logic Programming These conference proceedings discuss such topics as: categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning and proof search. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1996
Language
English
ISBN 10 
0387609830
ISBN 13 
9780387609836
Binding
Paperback

Other Popular Editions of the Same Title

9783540609834: Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.: 1050 (Lecture Notes in Computer Science, 1050)

Featured Edition

ISBN 10:  3540609830 ISBN 13:  9783540609834
Publisher: Springer, 1996
Softcover