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

Detalles Bibliográficos
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 133 : Логические методы в программировании.— , 1964-2004
Idioma:	ruso
Publicado:	1990
Subjects:	Вычислительные системы Программирование логическое логические методы алгебраический подход проект СИГМА цели задачи теория множеств
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=192617

Títulos similares