Вы здесь

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