Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Interview with Alan Robinson, inventor of resolution logic (vanemden.wordpress.com)
5 points by wingo on June 9, 2010 | hide | past | favorite | 1 comment


http://mathworld.wolfram.com/ResolutionPrinciple.html

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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: