Books
1 results foundTitle | 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 |