Linking pages
Linked pages
- Armies of Expensive Lawyers, Replaced by Cheaper Software - The New York Times http://www.nytimes.com/2011/03/05/science/05legal.html?_r=2&%3Bamp%3Bpagewanted=all&%3Bamp%3Bref=science 328 comments
- Formalizing 100 Theorems http://www.cs.ru.nl/~freek/100/ 130 comments
- http://z3.codeplex.com/ 68 comments
- http://www.karlin.mff.cuni.cz/~stanovsk/math/qptp.pdf 3 comments
- Mizar system - Wikipedia https://en.wikipedia.org/wiki/Mizar_system 0 comments
- Computer Math Proof Shows Reasoning Power http://www.nytimes.com/library/cyber/week/1210math.html 0 comments
Related searches:
Search whole site: site:intelligence.org
Search title: Josef Urban on Machine Learning and Automated Reasoning - Machine Intelligence Research Institute
See how to search.