Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 9783540609834
Price: 52.83 EUR
Availability: InStock

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

Автор: Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Lo...

Информация за книгата

Автор

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

322

EAN

9783540609834

ISBN

3540609830

Enbook ID

05274559

Издател

Springer, Berlin

Теглоt

446

Размери

156 x 234 x 17

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Extensions of Logic Programming

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също