Jump to main content

yr 〜
yr

Search results 6

Advances in natural language processing : 6th international conference, GoTAL 2008 : Gothenburg, Sweden, August 25-27, 2008 : proceedings. : Aug 2008, Gothenburg, Sweden. (Lecture Notes in Computer Science ; 5221. Lecture Notes in Artificial Intelligence)

Advances in natural language processing : 6th international conference, GoTAL 2008 : Gothenburg, Sweden, August 25-27, 2008 : proceedings. : Aug 2008, Gothenburg, Sweden. (Lecture Notes in Computer Science ; 5221. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-2140>
National Diet Library
  • Author HeadingNordstrom, Bengt. Ranta, Aarne. GoTAL 2008 (200...

An Introduction to Type Theoretical Ideas

An Introduction to Type Theoretical Ideas
Digital文書・図像類
Nordström, Bengt2007-03-06p.1-69
Other Libraries in Japan

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers : gw

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers : gw
Paper図書
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)Springer-Verlagc1995
Other Libraries in Japan

Programming in Martin-Löf's type theory : an introduction : pbk

Programming in Martin-Löf's type theory : an introduction : pbk
Paper図書
Bengt Nordström, Kent Petersson, Jan M. Smith[Produced by Amazon]1990
Other Libraries in Japan

Programming in Martin-Löf's type theory : an introduction

Programming in Martin-Löf's type theory : an introduction
Paper図書
Bengt Nordström, Kent Petersson and Jan M. SmithClarendon Press1990
Other Libraries in Japan

Energy and economic adjustment pbk.

Energy and economic adjustment pbk.
Paper図書
Lars Bergman, Karl-Göran Mäler, Tomas Nordström ; Bengt-Christer Ysander (ed.)Industrial Institute for Economic and Social Research (IUI) : Economic Research Institute, Stockholm School of Economics (EFI) : Almqvist & Wiksell International, Distributor1983
Other Libraries in Japan

Reached to the end of result.

RSS