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
2017-01-20T15:34:09updateSystem / admin update -
2015-03-17T21:12:21updateSystem / admin update -