Вы здесь
Linear Analytic Tableaux
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.278-293.
Библиография:
Bibliogr.: p.291-292.
Издательство:
Источник:
Том:
918
Карточка:
Б2.13.
Meyer R. K., Mcrobbie M. A., Belnap N..
Linear Analytic Tableaux: Springer// Lecture Notes in Artificial Intelligence-1995.-Vol. 918.-P.278-293.
Bibliogr.: p.291-292.
Таблица в старой библиотеке:
PAP11 806