Automated Natural Deduction for Propositional Linear-Time Temporal Logicстатья

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

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


[1] Bolotov A., Grigoriev O., Shangin V. Automated natural deduction for propositional linear-time temporal logic // Proceedings of the 14th International Symposium on Temporal Representation and Reasoning. — TIME ’07. — IEEE Computer Society Washington, DC, USA, 2007. — P. 47–58. [ DOI ]

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