The book is currently out of stock
Cooperation in heterogeneous theorem prover networks
Authors
Parameters
Book purchase
Cooperation in heterogeneous theorem prover networks, Dirk Fuchs
- Language
- Released
- 2000
We’ll notify you via email once we track it down.
Payment methods
- Title
- Cooperation in heterogeneous theorem prover networks
- Language
- English
- Authors
- Dirk Fuchs
- Publisher
- Akad. Verl.-Ges. Aka
- Released
- 2000
- ISBN10
- 3898382311
- ISBN13
- 9783898382311
- Series
- Dissertationen zur künstlichen Intelligenz
- Category
- Computers, IT, Programming