Зведений каталог бібліотек Києва

 

А
142178Пинько, Пинько Олексій Павлович.
    Алгебраїчна інтерпретація пропозиційних секвенційних обчислень [Текст] : Автореф. дис. ... канд.фіз.-мат.наук:01.01.08 / Пинько О.П.; КНУТШ. — Київ, 2000. — 16с.


- Ключові слова:

пропозиційна логіка, пропозициональная логика ; секвенціальні обчислення, секвенциальные исчисления

- Теми документа

  • ББК науковий // Наближені обчислення



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт