Interview with Alan Robinson, Inventor of Resolution Logic (2009)

Comments



from Hacker News http://bit.ly/1CorrF9