Refine your search
Availability
-
bib-level
- m (3)
-
Authors
-
Locations
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Книгохранилище (3)
- Отдел рукописей и книжных памятников (1)
- Читальный зал 5 (3)
-
Item types
- 1 неделя (3)
- 6 месяцев (1)
- Выдается в читальный зал (3)
-
Topics
- SLD-резолюции (1)
- Гаусса метод (1)
- Геделя теорема о полноте (1)
- Дейкстры алгоритм (1)
- Клини дедуктика (1)
- Крамера метод (1)
- Лапласа теоремы (1)
- Математика высшая (1)
- Математическая логика - Учебники и пособия (1)
- Пуассона распределение (1)
- Статистические оценки (1)
- Эрбрана теорема (1)
- Эрбрана-Скулема алгоритм (1)
- алгебра матриц (1)
- алгоритм унификации (1)
- закон контрапозиции (2)
- математическая логика (2)
- предикаты (3)
- учебные пособия для вузов (2)
- формулы логики высказываний (3)
- Show more
- Show less