Filtre: Engleză

Cărți de Bengt Nordström

Types for Proofs and Programs

Editat de Thierry Coquand et al.

13 dec 2000

Preț: 316^.49 lei 395^.62 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ț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

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ț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%