Thomas Kolbe

FB lnformatik , TH Darmstadt , Alexanderstr. 10 , D-64283 Darmstadt , Germany.

1 paper in the IJCAI proceedings

IJCAI 1995

Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs

with Christoph Walther

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings