Теория дедуктивных систем и ее применения

Podrobná bibliografie
Hlavní autor:	Маслов С. Ю. Сергей Юрьевич
Jazyk:	ruština
Vydáno:	Москва, Радио и связь, 1986
Edice:	Кибернетика
Témata:	Математическая логика дедуктивные системы упражнения исчисления математика алгоритмы дедуктивная информация горизонтальное моделирование вертикальное моделирование
Médium:	xMaterials Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=276216

MARC


LEADER	00000nam0a2200000 4500
001	276216
005	20231101234910.0
020			\|a RU \|b 86-5552
035			\|a (RuTPU)RU\TPU\book\299474
090			\|a 276216
100			\|a 20141120d1986 k y0rusy5003 ca
101	0		\|a rus
102			\|a RU
105			\|a y z 001zy
200	1		\|a Теория дедуктивных систем и ее применения \|f С. Ю. Маслов
210			\|a Москва \|c Радио и связь \|d 1986
215			\|a 135 с.
225	1		\|a Кибернетика
320			\|a Библиогр.: с. 129-131
606	1		\|a Математическая логика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41205 \|9 61013
610	1		\|a дедуктивные системы
610	1		\|a упражнения
610	1		\|a исчисления
610	1		\|a математика
610	1		\|a алгоритмы
610	1		\|a дедуктивная информация
610	1		\|a горизонтальное моделирование
610	1		\|a вертикальное моделирование
675			\|a 510.6 \|v 3
700		1	\|a Маслов \|b С. Ю. \|g Сергей Юрьевич
801		0	\|a RU \|b RuMRKP \|c 19950704 \|g psbo
801		1	\|a RU \|b 63413507 \|c 20141120
801		2	\|a RU \|b 63413507 \|c 20170131 \|g RCR
942			\|c BK