Вы здесь
Time-Bounded Reasoning in First Order Knowledge Base Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.54-72.
Источник:
Том:
485
Карточка:
Б5.4.
Shi Y., Arikawa S..
Time-Bounded Reasoning in First Order Knowledge Base Systems// Lecture Notes in Artificial Intelligence-1991.-Vol. 485.-P.54-72.
Таблица в старой библиотеке:
PAP1 924