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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Parent link:Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 120 : Логические методы в программировании.— , 1964-2008
Άλλοι συγγραφείς: Ершов Ю. Л. (редактор)
Γλώσσα:Ρωσικά
Έκδοση: 1987
Θέματα:
Μορφή: Βιβλίο
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261635