Automated Theorem Proving in Quasigroup and Loop Theory (2010) [pdf] - discu.eu

Hacker News

Automated Theorem Proving in Quasigroup and Loop Theory (2010) [pdf] http://www.karlin.mff.cuni.cz/~stanovsk/math/qptp.pdf 3 comments 23/6/2017

Linking pages

Josef Urban on Machine Learning and Automated Reasoning - Machine Intelligence Research Institute http://intelligence.org/2013/12/21/josef-urban-on-machine-learning-and-automated-reasoning/ 0 comments

Related searches:

Search whole site: site:www.karlin.mff.cuni.cz

Search title: Automated Theorem Proving in Quasigroup and Loop Theory (2010) [pdf]

See how to search.

Submit link to: