
Powiedz znajomym o tym przedmiocie:
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Lecture Notes in Computer Science 2001 edition
Samson Abramsky
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Lecture Notes in Computer Science 2001 edition
Samson Abramsky
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001.
448 pages, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 20 kwietnia 2001 |
ISBN13 | 9783540419600 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 436 |
Wymiary | 155 × 233 × 23 mm · 621 g |
Język | German |
Redaktor | Abramsky, Samson |
Pokaż wszystko
Więcej od Samson Abramsky
Zobacz wszystko od Samson Abramsky ( np. Paperback Book i Hardcover Book )