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
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.
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1996
- ISBN 10 3540609830
- ISBN 13 9783540609834
- BindingPaperback
- Number of pages332
- EditorDyckhoff Roy, Herre Heinrich, Schroeder-Heister Peter
Buy New
Learn more about this copy
US$ 55.28
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science (1050)) by Herre, Heinrich, Schroeder-Heister, Peter, Dyckhoff, Roy [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540609834
Buy New
US$ 55.28
Convert currency
Seller Image
Extensions of Logic Programming : 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 : Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5905699-n
Buy New
US$ 60.63
Convert currency
Stock Image
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Published by
Springer
(1996)
ISBN 10: 3540609830
ISBN 13: 9783540609834
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020172142
Buy New
US$ 59.29
Convert currency
Stock Image
Extensions of Logic Programming : 5th International Workshop; ELP '96; Leipzig; Germany; March 28 - 30; 1996. Proceedings.
Published by
Springer
(1996)
ISBN 10: 3540609830
ISBN 13: 9783540609834
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540609834_lsuk
Buy New
US$ 63.96
Convert currency
Seller Image
Extensions of Logic Programming : 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 : Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5905699-n
Buy New
US$ 63.95
Convert currency
Stock Image
Extensions of Logic Programming: 5th International Workshop, ELP ?96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540609834
Buy New
US$ 85.39
Convert currency
Seller Image
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Published by
Springer Berlin Heidelberg
(1996)
ISBN 10: 3540609830
ISBN 13: 9783540609834
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540609834
Buy New
US$ 65.61
Convert currency
Stock Image
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540609834
Buy New
US$ 84.29
Convert currency
Seller Image
Extensions of Logic Programming
Published by
Springer Berlin Heidelberg
(1996)
ISBN 10: 3540609830
ISBN 13: 9783540609834
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 pre. Seller Inventory # 4895440
Buy New
US$ 53.32
Convert currency
Seller Image
Extensions of Logic Programming
Published by
Springer Berlin Heidelberg Mrz 1996
(1996)
ISBN 10: 3540609830
ISBN 13: 9783540609834
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 332 pp. Englisch. Seller Inventory # 9783540609834
Buy New
US$ 82.56
Convert currency