Bengt Nordström – författare
Visar alla böcker från författaren Bengt Nordström. Handla med fri frakt och snabb leverans.
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, 2000
568 kr
Lägg i varukorg
This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at Lokeberg in the rural area north of Goteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the …
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
568 kr
Lägg i varukorg
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address …
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
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers …
