Bengt Nordquist · Bengt Nordqvist · Bengt Nordstrom
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Advances in Natural Language Processing: 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings | Taschenbuch | 978-3-540-85286-5 | 2008 | Aarne Ranta |
| Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | Paperback | 978-3-662-18846-0 | 2014 | Peter Dybjer · Jan Smith |
| Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers | Taschenbuch | 978-3-540-60579-9 | 2008 | |
| Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers | " | 978-3-540-41517-6 | 2009 | Thierry Coquand · Peter Dybjer · Jan Smith |