Refine your search
Availability
-
bib-level
- m (3)
-
Authors
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- Логика (1)
- Онтология. Гносеология. Метафизика (1)
- Философия (2)
- информатика (1)
- логика предикатов (1)
- математическая индукция (1)
- математическая логика (1)
- математическая логика и искусственный интеллект (1)
- математическая логика классическая первопорядковая (1)
- математическая логика эпистемическая (1)
- программирование, логические основы (1)
- программы (информатика), доказательство правильности (1)
- рассуждения (искусственный интеллект) правдоподобные (1)
- силлогистика (1)
- Show more
- Show less
-
Places
- ЭБС Знаниум (2)