Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы

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

MARC


LEADER	00000nam2a2200000 4500
001	261640
005	20231101233600.0
035			\|a (RuTPU)RU\TPU\book\284621
035			\|a RU\TPU\book\284617
090			\|a 261640
100			\|a 20140526d1987 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a a z 001zy
200	0		\|a Вып. 122 : Прикладные аспекты математической логики \|f под ред. Ю. Л. Ершова
210			\|d 1987
215			\|a 166 с. \|c ил.
320			\|a Библиогр. в конце текста
461		1	\|0 (RuTPU)RU\TPU\book\41273 \|t Вычислительные системы \|o сборник научных трудов \|f Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики \|v Вып. 122 : Прикладные аспекты математической логики \|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 интерпретация
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 20170314 \|g RCR
942			\|c BK