Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 (книга)
Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 | |
Автор: | Rajeev Gore Alexander Leitsch Tobias Nipkow |
---|---|
Оригинал издан: | ???? |
«Automated Reasoning: Proceedings of the First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001» — книга ???? года.
Содержание |
Содержание
От издателя
«…»