Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
доказательство теорем
Документи:
- Перевірка коректності потреб до програмних систем, поданих атрибутними транзиційними системами [Текст] / С. М. Баранов, В. А. Волков, О. Б. Годлевський [et al.] // Кибернетика и системный анализ. – 2003. – № 6. – 3-11.
- Летичевский, А. А. Алгоритм Очевидности Глушкова [Текст] / А. А. Летичевский, А. В. Лялецкий, М. К. Мороховец // Кибернетика и системный анализ. – 2013. – Т. 49, № 4. – С. 3-16.
- Самохвалов, Ю. Я. Доказательство теорем в нечеткой логике на основе структурной резолюции [Текст] / Ю. Я. Самохвалов // Кибернетика и системный анализ. – 2019. – Т. 55, № 2. – С. 44-58.
- Математическая логика и автоматическое доказательство теорем [Текст] : Пер. с английского. – М. : Наука, 1983. – 360с. – (Математическая логика и основания математики).
|
