Refine your search
Availability
-
bib-level
- m (7)
-
Authors
- Вольфенгаген, Вячеслав Эрнстович (1)
- Капитонова, Юлия Владимировна (1)
- Кривой, Сергей Лукьянович (1)
- Летичевский, Александр Адольфович (1)
- Лихтарников, Л. М. (2)
- Луцкий, Георгий Михайлович (1)
- Романович, Владимир Александрович (1)
- Сидоренко, Евгений Александрович (2)
- Сукачева (2)
- Show more
- Show less
-
Locations
-
Item types
- 1 неделя (1)
- 6 месяцев (1)
- Выдается в читальный зал (4)
- Выдается по месту хранения (3)
-
Topics
- SLD-резолюции (1)
- Геделя теорема о полноте (1)
- Генцена L-система (1)
- Глушкова алгебра алгоритмов (1)
- Девиса-патнема метод (1)
- Карри парадокс (1)
- Клини дедуктика (1)
- Кнута-Бендикса алгоритм критической пары (1)
- Эрбрана теорема (2)
- аксиома логическая (2)
- алгебра (2)
- алгебра логики (2)
- алгоритм (2)
- алгоритм унификации (2)
- алгоритмы (3)
- исчисление высказываний (3)
- логика (2)
- логика предикатов (4)
- математическая логика (2)
- теорема дедукции (3)
- Show more
- Show less
-
Places
- ЭБС Лань (2)