Вы здесь

Avoiding Duplicate Proofs

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1990
Стр.: 
P.569-584.
Библиография: 
Bibliogr.: p.583.
Место издания: 
Издательство: 
Карточка: 

В2.11.

Spencer B..

Avoiding Duplicate Proofs-Cambridge.: The MIT Press// Logic Programming: Proc./1990 North American Conf., 1990.-P.569-584.
Bibliogr.: p.583.

Таблица в старой библиотеке: 
LOG1 234