Automatic Problem Description from Model Program for Knowledge-based Programming Tutor

By Hahn S.-H.   Kim J.  

Automated Software Engineering, Vol. 4, Iss. 4, 1997-10 ,pp. : 439-461

Springer Publishing Company

Access to resources Recommend Favorite

Theorem Proving Based on the Extension Rule

By Hai Lin   Jigui Sun   Yimin Zhang  

Journal of Automated Reasoning, Vol. 31, Iss. 1, 2003-09 ,pp. : 11-21

Springer Publishing Company

Access to resources Recommend Favorite

Recursion Hypothesis Considered as a Research Program for Cognitive Science

By Brattico Pauli  

Minds and Machines, Vol. 20, Iss. 2, 2010-07 ,pp. : 213-241

Springer Publishing Company

Access to resources Recommend Favorite

The Automatic Metric Monitoring Program

By Schultz Henry   Alexander John   Petersen Jim   Hartmann Thomas   Overland Doug   Gigante Bill   Grandsard Peter  

Journal of the Association for Laboratory Automation, Vol. 8, Iss. 1, 2003-02 ,pp. : 24-27

Association for Laboratory Automation

Access to resources Recommend Favorite

Automatic Generation of Staged Geometric Predicates: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

By Nanevski Aleksandar  

LISP and Symbolic Computation, Vol. 16, Iss. 4, 2003-12 ,pp. : 379-400

Springer Publishing Company

Access to resources Recommend Favorite