Вып. 120 : Логические методы в программировании; Вычислительные системы

Bibliographic Details
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 120 : Логические методы в программировании.— , 1964-2008
Other Authors:	Ершов Ю. Л. (редактор)
Language:	Russian
Published:	1987
Subjects:	Вычислительные системы логические методы программирование программы семантика логические языки множества
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261635

Description
Physical Description:	161 с.

Similar Items