Автоматический синтез программ с циклами и рекурсиями | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Бельтюков А. П.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

программа

автоматический

рекурсия

дедуктивный

Стр.:

С.96-117

Выпуск:

4

Библиография:

Библиогр.: c.116-117

Место издания:

Новосибирск

Серия:

Системная информатика

Источник:

Методы теоретического и системного программирования

Карточка:

Б3.21.

Бельтюков А. П..

Автоматический синтез программ с циклами и рекурсиями-Новосибирск.// Методы теоретического и системного программирования, 1995.-С.96-117-(Системная информатика, Вып.4).
Библиогр.: c.116-117

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

PAP13 401