Książka Algebraic and Logic Programming Michael Hanus

Algebraic and Logic Programming

6th International Joint Conference ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
241.03
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1997
strony
297
EAN
9783540634591
ISBN
3540634592
Enbook ID
05274745
Waga
406
Wymiary
156 x 234 x 16

Pełny opis

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Możesz być zainteresowany

Imagine Me Gone

Adam Haslett
62.01

Wine People

Michelle Wildgen
65.33
51.27

Marathon

Hal Higdon
62.01

Economics of Poverty

Martin Ravallion
257.73

Seeds of Disaster

Robert Allan Doughty
67.28

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

Kuku i historia pępka

Kamińska Monika
29.29
75.88

EVERY BODY

FEINBERG
127.15