Обложка книги Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)

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

ISBN: 1586031244;