Вы здесь
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.231-246.
Библиография:
Bibliogr.: p.246.
Издательство:
Источник:
Том:
918
Карточка:
Б2.13, Б2.14.
Komara J., Voda P. J..
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux: Springer// Lecture Notes in Artificial Intelligence-1995.-Vol. 918.-P.231-246.
Bibliogr.: p.246.
Таблица в старой библиотеке:
PAP11 803