2019-10-06から1日間の記事一覧
HOList with HOL Light https://sites.google.com/view/holist/homeTacticToe with HOL4 https://www.thibaultgauthier.fr/tactictoe.htmlさらに http://aitp-conference.org/2019/ http://arg.ciirc.cvut.cz/teaching/mlr19/index.html http://ai4reason.or…