Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
12013 |
Автор: | Пынько Алексей Павлович |
Назва: | Алгебраическая интерпретация пропозициональных секвенциальных исчислений |
Від. щодо назв.: |
Диссертация...кандидата физико-математических наук Специальность 01.01.08 |
Відповідальність: |
Ин-тут кибернетики им.В.М.Глушкова НАН Украины |
Місто: | Киев |
Рік: | 2000 |
Сторінок: | 104л. |
ББК: |
В120 |
Тип документу: |
Дисертація |
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
|
|
|
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин
|
|