Hacker Newsnew | comments | show | ask | jobs | submitlogin
Interview with Alan Robinson, inventor of resolution logic (vanemden.wordpress.com)
5 points by wingo 1730 days ago | comments



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.

-----




Applications are open for YC Summer 2015

Guidelines | FAQ | Support | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact

Search: