Системы Theorema и автоматизация дедукции: сравнительный анализ / Анисимов А. В., Джебелян Т., Лялецкий А. В., Попов Н. (2011)
Ukrainian

English  Control Systems and Computers   /     Issue (2011, 4)

translit Transliteration


Anisimov A. V., Dzhebeljan T., Ljaletskij A. V., Popov N.
Sistemy Theorema i avtomatizatsija deduktsii: sravnitelnyj analiz


Cite:
Anisimov, A. V., Dzhebeljan, T., Ljaletskij, A. V., Popov, N. (2011). Sistemy Theorema i avtomatizatsija deduktsii: sravnitelnyj analiz. Control Systems and Computers, 4, 59-63, 77 http://jnas.nbuv.gov.ua/article/UJRN-0000306680 [In Russian].

 

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


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