Revision history for entry Pelletier, Francis Jeffry (unknown). "Thephilosophyofautomatedtheoremproving" [PELT] |
| Time | Type | Notes |
| 2011-01-21T03:56:48 | add | System / admin update - |
Revision history for entry Pelletier, Francis Jeffry (unknown). "Thephilosophyofautomatedtheoremproving" [PELT] |
| Time | Type | Notes |
| 2011-01-21T03:56:48 | add | System / admin update - |