Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2009

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

семантика

бисимуляция

программирование в ограничениях

вычислительная сложность

теория игр

база знаний

обработка текста

логическое программирование

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

выполнимость

верификация

Стр.:

287 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

5422

Карточка:

В2.1, Б2.13.

Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007Ed. by Bosch P., Gabelaia D., Lang J..-Berlin.: Springer, 2009.-Vol. 5422.-287 p.-(Lecture Notes in Artificial Intelligence).

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

MONO7 945