Bengt Nordström - Böcker

Visar alla böcker från författaren Bengt Nordström.

3 produkter

Kategorier

3 produkter

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Av Thierry Coquand, Peter Dybjer m. fl

Häftad, Engelska, 2000

699 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Av Peter Dybjer, Bengt Nordström m. fl

Häftad, Engelska, 1995

699 kr

Skickas inom 10-15 vardagar

Advances in Natural Language Processing

6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

Av Aarne Ranta, Bengt Nordström m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar