海量图书期刊资源,随时随地畅享阅读乐趣
Book reviewsRichard E. Barrett; Thomas K. Rudel; Stephen B. Brush; Tim W. Clark · 1993
On the functional orgins of essentialismH. Clark Barrett · 2001
Inner city disadvantage and family functioningA. F. Clark; L. Barrett; I. Kolvin · 2000
Validating More Loop OptimizationsYing Hu; Clark Barrett; Benjamin Goldberg; Amir Pnueli · 2005
Enzymatic Computation and Cognitive ModularityH. Clark Barrett · 2005
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Rise of the humansH. Clark Barrett · 2004
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