Patents by Aagaard, Mark D. ( Waterloo, CA )
| Number | Patent title | Issue Date |
|---|---|---|
| 07181729 | Methods and systems for an interactive theorem-proving tool with reflective capabilities Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of... |
02/20/2007 |