Print
Some Results in Proof Theory and Automated Reasoning
Room / venue details:
G10
Address:
Old Quad, Parkville - 3010, Australia