Вы здесь

A theorem proving associative processor

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1985
Стр.: 
73 p.
Место издания: 
Номер: 
145/85
Карточка: 

А3.45, В2.11.

Dilger W., Schneider H..

A theorem proving associative processor-Kaiserslautern., 1985.-73 p.-(Препринт Univ. Kaiserslautern №145/85).

Таблица в старой библиотеке: 
PREP1 441