Hacker News new | comments | show | ask | jobs | submit login
Interview with Alan Robinson, inventor of resolution logic (vanemden.wordpress.com)
5 points by wingo 2485 days ago | hide | past | web | 1 comment | favorite



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 | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: