Вы здесь
Program transformation by proof in constructive framework
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.277-294.
Библиография:
Библиогр.: c.293-294
Место издания:
Источник:
Карточка:
Б2.23.
Galmiche D..
Program transformation by proof in constructive framework-Rocquencourt.// Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction, 1991.-P.277-294.
Библиогр.: c.293-294
Таблица в старой библиотеке:
PAP2 748