|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedingsсборник
- Год издания: 1999
- Серия: Lecture Notes in Computer Science
- Том: 1632
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1999 On explicit reflection in theorem proving and formal verification
- Artemov Sergei
- в сборнике Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1632, с. 267-281 DOI