DMCA

TSTP Data-Exchange Formats for Automated Theorem Proving Tools (2004)

by Geoff Sutcliffe , Jürgen Zimmer , Stephan Schulz
Citations:37 - 14 self