Поиск
На сайте: 567998 статей, 285524 фото.

Cooperation in Heterogeneous Theorem Prover Networks (книга)

Cooperation in Heterogeneous Theorem Prover Networks
Автор: Dirk Fuchs
Оригинал издан: ????

«Cooperation in Heterogeneous Theorem Prover Networks»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки