Tacti-Based Inductive Theorem Prover for data Types with Partial Operations
- Author
- Külher, U.
- Pub. date
- January 2000
- Pages
- 261
- Binding
- softcover
- Volume
- 238 of Dissertations in Artificial Intelligence
- ISBN
- 978-1-58603-128-2
- Subject
- Artificial Intelligence, Computer & Communication Sciences, Computer Science
€31 / US$36
Excl. VAT