DMCA

Progress in automating higher-order ontology reasoning

by Christoph Benzmüller , Adam Pease
Venue:in Proceedings of the Second International Workshop on Practical Aspects of Automated Reasoning
Citations:3 - 3 self