A Trustworthy Proof Checker

By Appel Andrew   Michael Neophytos   Stump Aaron   Virga Roberto  

Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. : 231-260

Springer Publishing Company

Access to resources Recommend Favorite

HYTECH: a model checker for hybrid systems

By Henzinger Thomas A.   Ho Pei-Hsin   Wong-Toi Howard  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 110-122

Springer Publishing Company

Access to resources Recommend Favorite

The ''smallest'' ring of polynomial invariants of a permutation group which has no finite SAGBI bases w.r.t. any admissible order

By Gobel M.  

Theoretical Computer Science, Vol. 225, Iss. 1, 1999-08 ,pp. : 177-184

Elsevier

Access to resources Recommend Favorite

Adaptive Versus Nonadaptive Attribute-Efficient Learning

By Damaschke P.  

Machine Learning, Vol. 41, Iss. 2, 2000-11 ,pp. : 197-215

Springer Publishing Company

Access to resources Recommend Favorite

New accurate home stand position checker for robots

By Gorman Terry   Glew Derek  

Industrial Robot: An International Journal, Vol. 22, Iss. 3, 1995-03 ,pp. : 33-34

Emerald Group Publishing Ltd

Access to resources Recommend Favorite