Bengt Nordström - Böcker

Visar alla böcker från författaren Bengt Nordström.
3 produkter
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad
Del 1956 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, Engelska, 2000

719 kr

Skickas inom 7-10 vardagar
Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad
Del 996 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, Engelska, 1995

719 kr

Skickas inom 7-10 vardagar
Aarne Ranta, Bengt Nordström, Bengt Nordstr M. - Advances in Natural Language Processing, Häftad

Advances in Natural Language Processing

Av Aarne Ranta, Bengt Nordström, Bengt Nordstr M.

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar