Recomienda este artículo a tus amigos:
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings - Theoretical Computer Science and General Issues Pawel Urzyczyn 2005 edition
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings - Theoretical Computer Science and General Issues
Pawel Urzyczyn
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005).
436 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 7 de abril de 2005 |
| ISBN13 | 9783540255932 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 436 |
| Dimensiones | 155 × 235 × 23 mm · 625 g |
| Lengua | Alemán |
| Editor | Urzyczyn, Pawel |