Bücher nach ISBN > Springer > Pierre-Lurien Curien

Pierre-Lurien Curien

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings978-3-642-O2272-2
(3-642-O2272-3)		2010

L. C. · P. C. · P. L. Curien

PIERRE LUSSIER