Learning Domain Knowledge to Improve Theorem Proving.

Jrg Denzinger, Stephan Schulz

Browse the full CADE paper archive.