Revision history for entry Farmer, William M.: Wos Larry. Automated reasoning: 33 basic research problems.. [FARWLA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-21T03:39:45updateSystem / admin update
2016-06-30T14:42:08updateSystem / admin update
2016-06-30T13:17:23addSystem / admin update