Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2010

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

теория автоматов

автоматический

доказательство

распределенная система

формальный

верификация

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

нелинейный

арифметика

логика высказываний

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

статический анализ

темпоральная логика

переписывание термов

доказательство теорем

верификация

Стр.:

517 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

6355

Карточка:

Б2.1, В2.11, Б2.2.

Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010Ed. by Clarke E. M., Voronkov A..-Berlin.: Springer, 2010.-Vol. 6355.-517 p.-(Lecture Notes in Artificial Intelligence).

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

MONO8 626