Вы здесь

Главная

Nordstrom B.

Автор:

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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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
СБ 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