Вы здесь

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