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

Dades bibliogràfiques
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 120 : Логические методы в программировании.— , 1964-2008
Altres autors:	Ершов Ю. Л. (редактор)
Idioma:	rus
Publicat:	1987
Matèries:	Вычислительные системы логические методы программирование программы семантика логические языки множества
Format:	xMaterials Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261635

MARC


LEADER	00000nam2a2200000 4500
001	261635
005	20231101233600.0
035			\|a (RuTPU)RU\TPU\book\284616
035			\|a RU\TPU\book\271737
090			\|a 261635
100			\|a 20140526d1987 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	0		\|a Вып. 120 : Логические методы в программировании \|f под ред. Ю. Л. Ершов
210			\|d 1987
215			\|a 161 с.
320			\|a Библиогр. в конце текста
461		1	\|0 (RuTPU)RU\TPU\book\41273 \|t Вычислительные системы \|o сборник научных трудов \|f Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики \|v Вып. 120 : Логические методы в программировании \|d 1964-2008
606	1		\|a Вычислительные системы \|2 stltpush \|3 (RuTPU)RU\TPU\subj\67468 \|9 83253
610	1		\|a логические методы
610	1		\|a программирование
610	1		\|a программы
610	1		\|a семантика
610	1		\|a логические языки
610	1		\|a множества
675			\|a 681.324 \|v 3
702		1	\|a Ершов \|b Ю. Л. \|4 340
801		1	\|a RU \|b 63413507 \|c 20140206
801		2	\|a RU \|b 63413507 \|c 20170207 \|g RCR
942			\|c BK