Опис документа:
| |
Шифр: |
А |
Авт. знак: |
142178 |
Автор: | Пинько Олексій Павлович |
Назва: | Алгебраїчна інтерпретація пропозиційних секвенційних обчислень |
Від. щодо назв.: |
Автореф. дис. ... канд.фіз.-мат.наук:01.01.08 |
Відповідальність: |
Пинько О.П.; КНУТШ |
Місто: | Київ |
Рік: | 2000 |
Сторінок: | 16с. |
ББК: |
В192 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|