Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
ONTIC | David A. McAllester | ONTIC, the interactive system for verifying "natural" mathematical arguments that David McAllester describes in this book, represents a significant change of direction in the field of mechanical dedu… | OL4620016W |