Cooperation in Heterogeneous Theorem Prover Networks
- Author
- Fuchs, D.
- Pub. date
- January 2000
- Pages
- 262
- Binding
- softcover
- Volume
- 231 of Dissertations in Artificial Intelligence
- ISBN
- 978-1-58603-124-4
- Subject
- Artificial Intelligence, Computer & Communication Sciences, Computer Science
€31 / US$36
Excl. VAT