|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
COMPUTER SCIENCE LOGIC, PROCEEDINGSсборник
- Год издания: 2006
- Серия: Lecture Notes in Computer Science
- Том: 4207
- Издательство: Springer Berlin
- Местоположение издательства: Heidelberg, Germany
- Добавил в систему: Артемов Сергей Николаевич
Статьи, опубликованные в сборнике
-
- 2006 Logical omniscience via proof complexity
- Artemov Sergei, Kuznets Roman
- в сборнике COMPUTER SCIENCE LOGIC, PROCEEDINGS, серия Lecture Notes in Computer Science, издательство Springer Berlin (Heidelberg, Germany), том 4207, с. 135-149 DOI