Appendices for automated theorem proving in Euler diagram systems

Gem Stapleton, J. Masthoff, J. Flower, Andrew Fish, J. Southern

Research output: Other contribution

Fingerprint

Dive into the research topics of 'Appendices for automated theorem proving in Euler diagram systems'. Together they form a unique fingerprint.

Mathematics