Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
17957 |
Автор: | Тимофєєв В.Г. |
Назва: | Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу |
Від. щодо назв.: |
дис. ... канд. фіз.-мат. наук : 01.05.03 |
Відповідальність: |
Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка |
Місто: | Київ |
Рік: | 2013 |
Сторінок: | 165 л. |
ББК: |
З973.2-018+З973.2-047 |
Тип документу: |
Дисертація |
Примітки: |
Додатки: л. 160-165 |
Пошук: заповніть хоча б одне з полів
|
|