Timeline for Intro to automatic theorem proving / logical foundations?
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2010 at 13:54 | history | edited | Charles Stewart |
edited tags
|
|
| Oct 24, 2009 at 8:15 | answer | added | boris | timeline score: 4 | |
| Oct 23, 2009 at 11:34 | answer | added | subshift | timeline score: 1 | |
| Oct 23, 2009 at 0:25 | answer | added | Noam Zeilberger | timeline score: 4 | |
| Oct 20, 2009 at 23:25 | answer | added | 1331 | timeline score: 1 | |
| Oct 19, 2009 at 22:17 | answer | added | Jay Kominek | timeline score: 2 | |
| Oct 18, 2009 at 17:27 | answer | added | Carter Tazio Schonwald | timeline score: 8 | |
| Oct 18, 2009 at 12:48 | answer | added | Andreas Holmstrom | timeline score: 1 | |
| Oct 18, 2009 at 8:52 | history | asked | user641 | CC BY-SA 2.5 |