海量图书期刊资源,随时随地畅享阅读乐趣
The Incredible ELKKazakov, Yevgeny; Krötzsch, Markus; Simančík, František · Journal of Automated Reasoning · 2014
Labelings for Decreasing DiagramsZankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart · Journal of Automated Reasoning · 2015
Absorption for ABoxesWu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant · Journal of Automated Reasoning · 2014
Definitional Expansions in MizarKorniłowicz, Artur · Journal of Automated Reasoning · 2015
Reverse ComplexityAsperti, Andrea · Journal of Automated Reasoning · 2015
An Experiment with Satisfiability Modulo SATZhang, Hantao · Journal of Automated Reasoning · 2016
MizAR 40 for Mizar 40Kaliszyk, Cezary; Urban, Josef · Journal of Automated Reasoning · 2015
Mark Stickel: His Earliest WorkLoveland, Donald W. · Journal of Automated Reasoning · 2016