Revision history for entry Jamnik, Mateja; Bundy, Alan; Green, Ian (1999). "On automating diagrammatic proofs of arithmetic arguments" [JAMOAD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T05:32:06updateSystem / admin update -
2010-10-02T00:26:36updateSystem / admin update -