Нравится LibRing?
Расскажи друзьям:
Dirk Fuchs

Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)

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

· OZON.ru 4006р. [Проверить наличие]
ISBN: 1586031244
Издательство: Ios Pr Inc