Revision history for entry Conkey, Adam: Deepening the Automated Search for Gödel's Proofs [CONDTA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2018-09-29T18:44:07updateLocal copy uploaded (view this copy)
2015-03-24T05:23:37updateSystem / admin update
2014-06-04T05:46:00addSystem / admin update