Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)
Ein kompaktes Sammelwerk aus der neunten internationalen Konferenz über Typen‑Lambda‑Kalküle, die im Juli 2009 in Brasília stattfand; es bietet ...
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 28-06-2026 11:16:46
Allgemein
Marke
Pierre-Louis Curien
ISBN
Pierre-Louis Curien 3642022723
MPN
Pierre-Louis Curien biography
