Buy Used and New Bengt Nordström Books

Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540852865

Format: Paperback (512 pages)
Publisher: Springer
Published: 13 Aug 2008

Save for later

Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers: 1956 (Lecture Notes in Computer Science)

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

ISBN 13: 9783540415176

Format: Paperback (208 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later