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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000306680
  Управляющие системы и машины   Б - 2020  /     Випуск (2011, № 4)

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

Бібліографічний опис:
Анисимов А. В., Джебелян Т., Лялецкий А. В., Попов Н. Системы Theorema и автоматизация дедукции: сравнительный анализ. Управляющие системы и машины. 2011. № 4. С. 59-63, 77. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000306680

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
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна