Kniha Extensions of Logic Programming Roy Dyckhoff

Extensions of Logic Programming

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Lo...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1996
Stránok
322
EAN
9783540609834
ISBN
3540609830
Enbook ID
05274559
Vydavateľ
Hmotnosť
446
Rozmery
156 x 234 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

810.41

Bruised Purple Hearts

Jerry C. Blanton
15.02
38.60
40.86
16.10
14.92
19.74

Scent Bottles

Alexandra Walker
9.32
240.30

Roosevelt the Explorer

H. Paul Jeffers
19.34

New Selected Poems

Shuntaro Tanikawa
17.58
260.34
106.09

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

9.52
19.54

Sombras de un Secreto

Por el Espíritu Hermana Victoria
27.50

Le Roi des plumes

Renaud-Pierre Delaporte
21.01
12.76