Geoff Sutcliffe: The TPTP formats for Proofs and Models
From Viktor Kuncak
views
comments
From Viktor Kuncak
EPFL video portal by SWITCH | Terms of service | Disclaimer | EPFL Privacy policy |