Theorem Proving with Structured Theories

Has publishing details pp. 624-634, 2001

Has title Theorem Proving with Structured Theories

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#McIlraithA01

Has where published IJCAI

Has year 2001

Has author Sheila A. McIlraith +, Eyal Amir +

Has identifier Theorem Proving with Structured Theories +

Categories Proceeding Paper +