Вы здесь

Automatic Theorem Proving within the Portable AI Lab

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.313-324.
Библиография: 
Bibliogr.: p.322-324.
Том: 
636
Карточка: 

В5.42, В2.11.

Baj F., Rosner M..

Automatic Theorem Proving within the Portable AI Lab// Lecture Notes in Artificial Intelligence-1992.-Vol. 636.-P.313-324.
Bibliogr.: p.322-324.

Таблица в старой библиотеке: 
PAP4 325