Cărți de Bengt Nordström

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

Lecture Notes in Computer Science, nr. 5221

Editat de Aarne Ranta et al.

13 aug 2008

Preț: 340^.31 lei 425^.38 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1956

Editat de Thierry Coquand et al.

13 dec 2000

Preț: 330^.26 lei 412^.82 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 996

Editat de Peter Dybjer et al.

18 oct 1995

Preț: 323^.27 lei 404^.09 lei

6-8 săpt.

-20%