[Вып.] 152 : Теория вычислений и языки спецификаций; Вычислительные системы

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

MARC


LEADER	00000nam2a2200000 4500
001	481
005	20231101204124.0
010			\|a 5861340129
035			\|a (RuTPU)RU\TPU\book\485
035			\|a BOOK00000485
090			\|a 481
100			\|a 20011209d1995 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	0		\|a [Вып.] 152 : Теория вычислений и языки спецификаций \|f науч. рук. Ю. Л. Ершов; С. С. Гончаров
210			\|d 1995
215			\|a 220 с.
320			\|a Библиогр. в конце ст.
461		1	\|0 (RuTPU)RU\TPU\book\41273 \|t Вычислительные системы \|o сборник научных трудов \|f Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики \|v [Вып.] 152 : Теория вычислений и языки спецификаций \|d 1964-2008
606	1		\|a Математическая логика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41205 \|9 61013
606	1		\|a Языки моделирования \|x (вычислительная математика) \|2 stltpush \|3 (RuTPU)RU\TPU\subj\66062 \|9 82297
610	1		\|a теория
610	1		\|a вычисления
610	1		\|a математическая логика
610	1		\|a семантическое программирование
610	1		\|a научные труды
610	1		\|a алгоритмы
675			\|a 510.6 \|v 3
675			\|a 519.68 \|v 3
702		1	\|a Ершов \|b Ю. Л. \|4 727
702		1	\|a Гончаров \|b С. С. \|4 727
801		0	\|a RU \|b 63413507 \|c 20011209 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20170314 \|g PSBO
942			\|c BK