Опис документа:
| |
Шифр: |
А |
Авт. знак: |
118842 |
Автор: | Дичев Х.В. |
Назва: | Вычисление значений логических формул на конечных моделях в системах представления знания. |
Від. щодо назв.: |
Автореф... Канд.физ-мат.наук: 01.01.10 |
Відповідальність: |
Дичев Х.В.; АН УССР. |
Місто: | К |
Рік: | 1980 |
Сторінок: | 22л. |
ББК: |
В186 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|