Kниги автора Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Science, 2083.)

Автор: Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Год: [не указано]
Издание: [не указанo]

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2020, Список Литературы