MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.

Josef Urban, Geoff Sutcliffe, Petr Pudlk, Jir Vyskocil

Browse the full CADE paper archive.