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

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

(editor), (editor), (editor)
£62.99
Paperback 322 Pages / Published: 13/03/1996
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540609834
Number of pages: 322
Weight: 1030 g
Dimensions: 235 x 155 x 17 mm
Edition: 1996 ed.

You may also be interested in...

C++ Pocket Reference
Added to basket
£15.99
Paperback
The C++ Programming Language
Added to basket
Programming
Added to basket
£55.49
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Types and Programming Languages
Added to basket
C Programming in Easy Steps
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
C Pocket Reference
Added to basket
£15.99
Paperback
The Little Schemer
Added to basket
Coding for Beginners in easy steps
Added to basket
C# 5.0 Pocket Reference
Added to basket
C++ Templates
Added to basket
£59.49
Hardback
R Cookbook
Added to basket
£39.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.