TY - BOOK AU - Гухман, В. Б. TI - Информатика в системе философского доказательства SN - 5-230-19440-5 PY - 1998/// CY - Тверь PB - Изд-во ТГТУ KW - Философия и информатика KW - Руководства, пособия и т.п. для высшей школы KW - nlr-sh1 KW - RU\NLR\auth\661324856 KW - Учебные издания для высшей школы KW - nlr-sh2 KW - Метафизика KW - RU\NLR\auth\66694330 KW - Информатика - Философские проблемы KW - Онтология KW - 111(075.8) KW - 3 KW - rus KW - 02 KW - rugasnti KW - 87.2/3 KW - rubbk KW - Ю252 KW - З97я73 KW - Ю21я73 N2 - Библиогр.: с. 272-274 (75 назв.) ER -