Вы здесь
Retrprov. A System that Looks for Axioms
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.759-780.
Библиография:
Bibliogr.: p.779-780
Источник:
Номер:
8
Том:
33
Карточка:
Б2.1, В2.11.
Biela A., Borowczyk J..
Retrprov. A System that Looks for Axioms// Acta Informatica-1996, №8.-Vol. 33.-P.759-780.
Bibliogr.: p.779-780
Таблица в старой библиотеке:
PAP15 963