Typed lambda calculi and applications - 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Författare
Spain) International Conference on Typed Lambda Calculi and Applications 2003 : Valencia
(Martin Hofmann (ed.).)
Genre
Bibliografi
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 2003 Tyskland, Berlin viii, 315 sidor. ill.
Springer Berlin Heidelberg, Imprint: Springer 2003 Tyskland, Berlin, Heidelberg 1 online resource (VIII, 320 sidor.)
Springer cop. 2001 Tyskland, Berlin 429 sidor. ill. 24 cm
Springer cop. 1999 Tyskland, Berlin 396 sidor.
Springer cop. 1997 Tyskland, Berlin 404 sidor. tab.
Springer Berlin Heidelberg, Imprint: Springer 1997 Tyskland, Berlin, Heidelberg 1 online resource (VIII, 412 sidor.)
Springer Berlin Heidelberg 1997 Utgivningsland okänt / Ej specificerat
Springer cop. 1995 Tyskland, Berlin, New York 442 sidor.
Springer Berlin Heidelberg 1995 Utgivningsland okänt / Ej specificerat
Springer Berlin Heidelberg, Imprint: Springer 1995 Tyskland, Berlin, Heidelberg 1 online resource (VIII, 452 sidor.)
Springer-Vlg cop. 1993 Tyskland, Berlin, New York viii, 432 sidor.
Springer Berlin Heidelberg 1993 Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan