Вы здесь
Program Transformation under the Principle of Proof as Program
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.626-640
Библиография:
Bibliogr.: p.640
Место издания:
Карточка:
Б2.14.
Nakayama H..
Program Transformation under the Principle of Proof as Program-Cambridge.// Logic Programming: Proc./1991 Intern. Symp., 1991.-P.626-640
Bibliogr.: p.640
Таблица в старой библиотеке:
LOG1 350