Revision history for entry Braffort, P.; van Scheepen, F. (1968). "Automation in Language Translation and Theorem Proving" [BRAAIL]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-03-18T01:12:21updateSystem / admin update -