Pristine Perspectives on Logic, Language, and Computation: Selected Papers/ESSLLI 2012 and ESSLLI 2013 Student Sessions | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2014

Ключевые слова:

верификация

модальная логика

модальная теория

мультиагентная система

правильность

сложность

распознавание речи

неопределенность

Стр.:

267 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

8607

Карточка:

Pristine Perspectives on Logic, Language, and Computation: Selected Papers/ESSLLI 2012 and ESSLLI 2013 Student SessionsEd. by Colinet M., Katrenko S., Rendsvig R. K..-Berlin.: Springer, 2014.-Vol. 8607.-267 p.-(Lecture Notes in Computer Science).

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

MONO10 632