Bengt Nordström – författare

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

3 produkter

1. 

   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, 2000

   739 kr

   Lägg i varukorg

2. 

   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, 1995

   739 kr

   Lägg i varukorg

3. 

   Advances in Natural Language Processing

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

   Av Aarne Ranta, Bengt Nordström

   Häftad, 2008

   739 kr

   Lägg i varukorg