4 ms·
Interview with Alan Robinson, inventor of resolution logic
- ableal 16y agohttp://mathworld.wolfram.com/ResolutionPrinciple.html http://mathworld.wolfram.com/ResolutionPrinciple.html http://en.wikipedia.org/wiki/Resolution_(logic) http://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.