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

Sonraí bibleagrafaíochta
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 133 : Логические методы в программировании.— , 1964-2004
Teanga:	Rúisis
Foilsithe / Cruthaithe:	1990
Ábhair:	Вычислительные системы Программирование логическое логические методы алгебраический подход проект СИГМА цели задачи теория множеств
Formáid:	LEABHAR
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=192617

MARC


LEADER	00000nam2a2200000 4500
001	192617
005	20231101224429.0
035			\|a (RuTPU)RU\TPU\book\210036
090			\|a 192617
100			\|a 20110304d1990 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	0		\|a Вып. 133 : Логические методы в программировании
210			\|d 1990
215			\|a 188 с.
320			\|a Библиогр. в конце ст.
461		1	\|0 (RuTPU)RU\TPU\book\41273 \|t Вычислительные системы \|o сборник научных трудов \|f Российская академия наук; Институт математики им. С. Л. Соболева \|v Вып. 133 : Логические методы в программировании \|d 1964-2004
606	1		\|a Вычислительные системы \|2 stltpush \|3 (RuTPU)RU\TPU\subj\67468 \|9 83253
606	1		\|a Программирование логическое \|2 stltpush \|3 (RuTPU)RU\TPU\subj\51781 \|9 70346
610	1		\|a логические методы
610	1		\|a алгебраический подход
610	1		\|a проект СИГМА
610	1		\|a цели
610	1		\|a задачи
610	1		\|a теория множеств
675			\|a 681.324 \|v 3
675			\|a 681.3.06 \|v 3
801		1	\|a RU \|b 63413507 \|c 20110304
801		2	\|a RU \|b 63413507 \|c 20170207 \|g RCR
942			\|c BK