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