MPG.eBooks - Search Results - "Sweden"

Cover Image

1

Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

by Dybjer, Peter
Published 1995

Springer

Cover Image

2

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

Cover Image

3

Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Published 1995

Springer Berlin Heidelberg

“... for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects...”

Cover Image

4

Advances in Natural Language Processing : 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

“... Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented...”

Cover Image

5

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Published 2000

Springer Berlin Heidelberg