Interactive Theorem Proving
ISBN: | 3642396348 |
---|---|
ISBN13: | 9783642396342 |
List Price: | USD $49.99 |
Authors: |
Author |
Related ISBNs
ISBN: | 3642396348 |
---|---|
ISBN13: | 9783642396342 |
List Price: | USD $49.99 |
Authors: |
Author |
Related ISBNs