Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 9783540609834
Price: 240.9 PLN
Availability: InStock

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

Autor: Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 11-15 dni

240.90 zł

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

Informacje o książce

Autor

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1996

strony

322

EAN

9783540609834

ISBN

3540609830

Enbook ID

05274559

Wydawca

Springer, Berlin

Waga

446

Wymiary

156 x 234 x 17

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Extensions of Logic Programming

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również