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
53.49 EUR
Preis aktualisiert am: 13-10-2026 14:05:49
Gesponsert
53.49 EUR
Preis aktualisiert am: 13-10-2026 16:18:54
Gesponsert
53.49 EUR
Preis aktualisiert am: 14-10-2026 03:56:25

Allgemein

Marke
Pierre-Louis Curien
ISBN
Pierre-Louis Curien 3642022723
MPN
Pierre-Louis Curien biography

Eigenschaften

Menü