artificial Learning to Think and Argue: a path to automated theorem proving /u/aidanrocke November 25, 2017 November 25, 2017 submitted by /u/aidanrocke [link] [comments] Share this: Share on X (Opens in new window) X Share on Facebook (Opens in new window) Facebook Share on LinkedIn (Opens in new window) LinkedIn Email a link to a friend (Opens in new window) Email Print (Opens in new window) Print
