Поиск
На сайте: 567989 статей, 285490 фото.

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки