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

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