Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./10th European Conference, ECSQARU 2009, Verona, Italy, July 2009 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2009

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

теория графов

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

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

теория моделей

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

семантика

визуализация

Стр.:

936 p.

Редактор:

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

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

Серия:

Lecture Notes in Artificial Intelligence

Том:

5590

Карточка:

В2.1, Б2.1.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./10th European Conference, ECSQARU 2009, Verona, Italy, July 2009Ed. by Sossai C., Chemello G..-Berlin.: Springer, 2009.-Vol. 5590.-936 p.-(Lecture Notes in Artificial Intelligence).

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

MONO8 7