|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
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
- Первая страница: 34
- Последняя страница: 35
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | proceedings.pdf | 1,0 МБ | 4 июня 2014 [shangin] |