Refine your search
Availability
-
Bibliographic level
- Книги (2)
- Статьи из сборников (1)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- модальная логика (2)
- Маслова метод (1)
- Математический анализ (1)
- Системный анализ, представление и обработка информации (1)
- авторефераты диссертаций (1)
- алгебра (1)
- алгоритмы поиска (1)
- базы знаний (1)
- диссертации (1)
- доказательства (1)
- задачи поиска вывода (1)
- логика знания (1)
- логические выводы (1)
- математика (1)
- мультимножества (1)
- неклассические логики (1)
- обратный метод (1)
- программы автоматического поиска доказательств (1)
- секвенция (1)
- семантика (1)
- синтаксис (1)
- теоремы (1)
- труды ученых ТГУ. (1)
- Show more
- Show less