Вы здесь

Главная

Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2010
Ключевые слова: 
логика геделя
алгоритмический анализ
автомат
constraint satisfaction
эквивалентность
логика
equational logic
теория доказательств
tree logic
верификация
ламбда-исчисление
Стр.: 
548 p.
Редактор: 
Dawar A.
Veith H.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
6247
Карточка: 

Б2.13, Б2.2.

Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010Ed. by Dawar A., Veith H..-Berlin.: Springer, 2010.-Vol. 6247.-548 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO8 343