Вы здесь

Главная

Kohlenbach U.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014 2014 Lecture Notes in Computer Science
  1. Kohlenbach U.
  2. Barcelo P.
  3. de Queiroz R.
 30.08.2014
СБ Logoc, Language, Information, and Computation: Proc./20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2013 2013 Lecture Notes in Computer Science
  1. Libkin L.
  2. Kohlenbach U.
  3. de Queiroz R.
 18.11.2013