Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

РоманенковРоманенко, В. В.
    Логіко-гносеологічні передумови машинного доведення теорем [Текст] / В.В. Романенко // Філософські проблеми сучасного природознавства : міжвідомчий науковий збірник. — Київ : Вища школа, 1974. — Вип. 36. — С. 59-65.

- Ключові слова:

гносеологічні концепції ; наукові поняття, научные понятия ; філософські питання математики, философские вопросы математики

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт