Вы здесь

Главная

Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
основания
вычислительная наука
информация
логика
математическая логика
моделирование вычислений
теоретическое программирование
Стр.: 
237 p.
Редактор: 
Kohlenbach U.
Barcelo P.
de Queiroz R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8652
Карточка: 

Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014Ed. by Kohlenbach U., Barcelo P., de Queiroz R..-Berlin.: Springer, 2014.-Vol. 8652.-237 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO10 657