Darlington, Jared L.

3 publications

IJCAI 1977 Improving the Efficiency of Higher Order Unification Jared L. Darlington

IJCAI 1973 Automatic Program Synthesis in Second-Order Logic Jared L. Darlington

IJCAI 1969 Theorem Provers as Question Answerers Jared L. Darlington