Поиск вывода в Хорновских исчислениях и его применение в системах синтеза программ

Вы здесь

Автор:

Нейман В. С.

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

Вид:

Автореферат

Год:

1986

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

вывод

исчисления Хорна

синтез программ

Стр.:

16 с.

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

Библиогр.: c.15-16

Место защиты:

Ленинград

Номер специальности:

05.13.11

Карточка:

Нейман В. С..

Поиск вывода в Хорновских исчислениях и его применение в системах синтеза программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Ленинград, 1986.-16 с.
Библиогр.: c.15-16