Socratic Proofs for Propositional Linear-Time Logicтезисы доклада Электронная публикация

Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.

Работа с тезисами доклада

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст proceedings.pdf 1,0 МБ 4 июня 2014 [shangin]

[1] Socratic proofs for propositional linear-time logic / М. Урбанский, А. Е. Болотов, О. М. Григорьев, В. О. Шангин // Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014. — 2014. — P. 34–35.

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