Extensions of Logic Programming

Name: Extensions of Logic Programming
Brand: Springer, Berlin
SKU: 9783540609834
Price: 297.23 RON
Availability: InStock

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

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

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

297.23 lei

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

Informații despre carte

Autor

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1996

Pagini

322

EAN

9783540609834

ISBN

3540609830

Enbook ID

05274559

Editura

Springer, Berlin

Greutate

446

Dimensiuni

156 x 234 x 17

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Extensions of Logic Programming

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și