Revision history for entry Takemura, Ryo (2013). "Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization" [TAKPTF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-17T22:31:51updateSystem / admin update -
2013-12-02T01:49:55updateSystem / admin update -
2013-04-19T06:14:20updateSystem / admin update -
2013-03-10T08:17:07updateSystem / admin update -
2012-07-20T07:10:04updateSystem / admin update -
2012-07-19T19:40:23addSystem / admin update -