Обложка книги Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (Lecture Notes in Computer Science, 2083.)

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

, ,

ISBN: 3540422544;