|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Доказательство теоремы Гёделя о неполноте, основанное на понятиях функционального программированиястатья
- Автор: Миронов А.М.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 18
- Номер: 4
- Год издания: 2014
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 267
- Последняя страница: 291
- Аннотация: http://intsysjournal.org/articles/is04/17_mironov.pdf
- Добавил в систему: Миронов Андрей Михайлович