2,961 followers
I'm reading Intelligent Computer Mathematics https://t.co/GvU2QfNU3e #springerlink
I'm reading Intelligent Computer Mathematics https://t.co/GvU2QfNU3e #springerlink
#Publication - TIP: Tons of Inductive Problems | This paper describes our collection of benchmarks for inductive t… http://t.co/VMoY336zA0
#Publication - A First Class Boolean Sort in First-Order Theorem Proving and TPTP | To support reasoning about pro… http://t.co/IKWlxEkJtA
A first class boolean sort in first-order theorem proving and TPTP ~ E. Kotelnikov, L. Kovács & A. Voronkov http://t.co/sJITtJ0rFY #ATP