Interview with Alan Robinson, inventor of resolution logic (vanemden.wordpress.com) 5 points by wingo 16y ago ↗ HN
[–] ableal 16y ago ↗ http://mathworld.wolfram.com/ResolutionPrinciple.htmlhttp://en.wikipedia.org/wiki/Resolution_(logic)Latin and Greek are much overrated, I think, especially by people like you who never had any.Break out the pitchforks.
1 comment
[ 3.0 ms ] story [ 14.4 ms ] threadhttp://en.wikipedia.org/wiki/Resolution_(logic)
Latin and Greek are much overrated, I think, especially by people like you who never had any.
Break out the pitchforks.