Natural Deduction Calculus for Computation Tree Logicстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Дата последнего поиска статьи во внешних источниках: 23 сентября 2013 г.

Работа с статьей


[1] Bolotov A., Grigoriev O., Shangin V. Natural deduction calculus for computation tree logic // Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing. — JVA ’06. — IEEE Computer Society Washington, DC, USA, 2006. — P. 175–183. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть