Items related to Extensions of Logic Programming: 5th International...

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.

  • PublisherSpringer Verlag
  • Publication date1996
  • ISBN 10 0387609830
  • ISBN 13 9780387609836
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can'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

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