|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Приложения модальной логики в теории доказательствстатья
- Автор: Артемов С.Н.
- Сборник: Неклассические логики и их применение
- Серия: Вопросы кибернетики
- Том: 75
- Год издания: 1982
- Место издания: Научный совет АН СССР по комплексной проблеме «Кибернетика»
- Первая страница: 3
- Последняя страница: 22
- Добавил в систему: Золин Евгений Евгеньевич