Вы здесь
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1990
Ключевые слова:
Стр.:
20 p.
Место издания:
Источник:
Номер:
KRR-TR-90-8
Том:
1
Карточка:
Б5.4, В2.1.
Lakemeyer G..
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection-Toronto., 1990.-Vol. 1.-20 p.-(Препринт Univ.Toronto №KRR-TR-90-8).
Таблица в старой библиотеке:
PREP1 121