Поиск
На сайте: 763804 статей, 327745 фото.

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»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки