Вы здесь

Преобразование программ со сложными структурами данных в эквивалентные логические теории

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1986
Стр.: 
С.66-73.
Библиография: 
Библиогр.: c.73.
Место издания: 
Карточка: 

Б2.23, Б3.21.

Лифшиц Л. Л..

Преобразование программ со сложными структурами данных в эквивалентные логические теории-Новосибирск.// Новые методы конструирования программ, 1986.-С.66-73.
Библиогр.: c.73.

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