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