Вы здесь

Главная

Nordstrom B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Monadic Programming - another view - DRAFT 1998 Nordstrom B. Proc. of WM98. Smogens Havsbad, January 14-16, 1998 13.02.1998
СТ The ALF Proof Editor and Its Proof Engine 1994 Magnusson L., Nordstrom B. Lecture Notes in Computer Science 21.07.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Advances in Natural Language Processing: Proc./6th International Conference, GoTAL 2008. Gothenburg, Sweden, August 2008 2008 Lecture Notes in Artificial Intelligence
  1. Nordstrom B.
  2. Ranta A.
 03.10.2008
СБ Types for Proofs and Programs: Selected Papers/ International Workshop TYPES 94. Bastad, Sweden, June 1994 1995 Lecture Notes in Computer Science
  1. Dybjer P.
  2. Nordstrom B.
  3. Smith J.
 29.11.1995
СБ Types for Proofs and Programs: Selected Papers/ International Workshop,TYPES 99. Lokeberg,Sweden,June 1999 2000 Lecture Notes in Computer Science
  1. Coquand Th.
  2. Dybjer P.
  3. Nordstrom B.
  4. Smith J.
 03.02.2001