Нравится LibRing?
Расскажи друзьям:
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.)

Книгу можно купить в интернет-магазинах:

· OZON.ru 13840р. [Проверить наличие]
ISBN: 3540422544
Издательство: Springer-Verlag Telos