Revision history for entry Farmer, William M. (1995). "Reasoning about partial functions with the aid of a computer" [FARRAP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-08-17T12:15:04update
2014-03-30T15:09:28updateSystem / admin update -
2013-11-21T12:14:07updateSystem / admin update -
2013-11-21T12:14:06updateSystem / admin update -
2013-11-21T12:13:51updateSystem / admin update -
2013-01-23T20:43:52updateSystem / admin update -
2013-01-23T20:43:52updateSystem / admin update -
2012-01-12T04:57:09update
2012-01-12T04:57:09update
2012-01-12T04:57:08update
2012-01-12T04:57:05update