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

English  Reports of the National Academy of Sciences of Ukraine    /     Issue (2008, 4)

translit Transliteration


Pynko A. P.
Proizvodnye pravila sekventsialnykh ischislenij dlja konechnoznachnykh logik s opredelitelem ravenstva


Cite:
Pynko, A. P. (2008). Proizvodnye pravila sekventsialnykh ischislenij dlja konechnoznachnykh logik s opredelitelem ravenstva. Reports of the National Academy of Sciences of Ukraine , 4, 51-54 http://jnas.nbuv.gov.ua/article/UJRN-0000117796 [In Russian].

 

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


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