Jared L. Darlington

Institut fUr Informatik University of Bonn , Germany

3 papers in the IJCAI proceedings

IJCAI 1977

Improving the Efficiency of Higher Order Unification

Details PDF

IJCAI 1973

Automatic Program Synthesis in Second-Order Logic

Details PDF

IJCAI 1969

Theorem Provers as Question Answerers

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings