Вы здесь
Efficient Strategies for Automated Reasoning in Modal Logics
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.182-197.
Библиография:
Bibliogr.: p.196-197.
Издательство:
Источник:
Том:
838
Карточка:
В2.11.
Demri S..
Efficient Strategies for Automated Reasoning in Modal Logics: Springer// Lecture Notes in Artificial Intelligence-1994.-Vol. 838.-P.182-197.
Bibliogr.: p.196-197.
Таблица в старой библиотеке:
PAP10 55