Revision history for entry Fitelson, Branden; Wos, Larry (2001). "Finding missing proofs with automated reasoning" [FITFMP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-06T00:02:47updateSystem / admin update -
2014-03-26T03:47:55updateSystem / admin update -
2013-12-01T20:47:21updateSystem / admin update -
2012-01-08T13:16:27update
2012-01-08T13:16:20update
2012-01-08T13:15:40update
2012-01-08T13:15:40update
2010-09-28T06:25:38updateSystem / admin update -