Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / Пынько А. П. (2007)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000123559
  Доповiдi Національної академії наук України   Б - 2019  /     Випуск (2007, № 3)

Пынько А. П.
Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства

Бібліографічний опис:
Пынько А. П.  Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Доповiдi Національної академії наук України. 2007. № 3. С. 45-51. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000123559

English  Reports of the National Academy of Sciences of Ukraine    /     Issue (2007, 3)

translit Transliteration

Pynko A. P.
Protsedury vyvoda v sekventsialnykh ischislenijakh dlja konechnoznachnykh logik s opredelitelem ravenstva

Cite:
Pynko, A. P. (2007). Protsedury vyvoda v sekventsialnykh ischislenijakh dlja konechnoznachnykh logik s opredelitelem ravenstva. Reports of the National Academy of Sciences of Ukraine , 3, 45-51 http://jnas.nbuv.gov.ua/article/UJRN-0000123559 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна