News
Third Workshop on Practical Aspects of Automated Reasoningeprover.org
www.eprover.org
If you do not submit to PAAR, Stan the T. Rex at the Manchester Museum will eat you! ... Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi.
sortiert nach Relevanz / Datum