| Персоналии |
|
|
|
|
|
Охотников Олег Алиевич |
|
|||||||||||||||||
| E-mail: | ||||||||||||||||||
| Ключевые слова: | логика, поиск вывода, автоматизация дедукции | |||||||||||||||||
Основные темы научной работы |
математическая логика |
|||||||||||||||||
 |
https://www.mathnet.ru/rus/person81601 | |||||||||||||||||
 |
Список публикаций на Google Scholar | |||||||||||||||||
 |
Список публикаций на ZentralBlatt | |||||||||||||||||
|
||||||||||||||||||
| Организации | ||||||||||||||||||
|
Обратная связь: |
Пользовательское соглашение
|
Регистрация посетителей портала |
Логотипы |
|