Неклассические логики и их применение; Вопросы кибернетики

Manylion Llyfryddiaeth
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Неклассические логики и их применение.— , 1975-1992
Awduron Eraill:	Драгалин А. Г. (редактор)
Iaith:	Rwseg
Cyhoeddwyd:	1982
Pynciau:	Математическая кибернетика Кибернетика модальная логика доказательства программная логика высказывания исчисления разрешимость повторения локальные операторы
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=311150

MARC


LEADER	00000nam2a2200000 4500
001	311150
005	20231102002346.0
035			\|a (RuTPU)RU\TPU\book\336505
090			\|a 311150
100			\|a 20151203d1982 km y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a a z 001zy
200	0		\|a Неклассические логики и их применение \|f под ред. А. Г. Драгалина
210			\|d 1982
215			\|a 170 с. \|c ил.
320			\|a Библиогр. в конце ст.
461		1	\|0 (RuTPU)RU\TPU\book\161768 \|t Вопросы кибернетики \|o сборник статей \|f Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика" \|v Неклассические логики и их применение \|d 1975-1992
606	1		\|a Математическая кибернетика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41203 \|9 61011
606	1		\|a Кибернетика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\39446 \|9 59539
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 519.7 \|v 4
675			\|a 681.5 \|v 4
702		1	\|a Драгалин \|b А. Г. \|4 340
801		1	\|a RU \|b 63413507 \|c 20151203
801		2	\|a RU \|b 63413507 \|c 20191016 \|g RCR
942			\|c BK