Course Homepage
| HANDOUTS |
CS 486: Applied Logic | Spring 2003 | ||
Lecture 1 Handout |
||||
"Implementing Metamathematics as an Approach to Automatic Theorem Proving" by Robert Constable and Doug Howe. |
||||
| back to CS486 Course Homepage |
|
|
|||||||||||||||||||
| Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: juanita@cs.cornell.edu |