Вы здесь

Classical Proofs as Programs: How, What and Why

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

Б2.11, Б2.14.

Murthy C. R..

Classical Proofs as Programs: How, What and Why// Lecture Notes in Computer Science-1992.-Vol. 613.-P.71-88.
Bibliogr.: p.87-88.

Таблица в старой библиотеке: 
PAP3 922