Cooperation in Heterogeneous Theorem Prover Networks

Share
Author
Fuchs, D.
Pub. date
January 2000
Pages
262
Binding
softcover
Volume
231 of Dissertations in Artificial Intelligence
ISBN print
978-1-58603-124-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science