लेखक: Bengt Nordstrom

समर्थन

2 द्वारा ईबुक Bengt Nordstrom

Thierry Coquand & Peter Dybjer: Types for Proofs and Programs
PDF
अंग्रेज़ी
DRM
€58.04
Bengt Nordstrom & Aarne Ranta: Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, Go TAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented t …
PDF
अंग्रेज़ी
DRM
€57.42