Cutting down the TPTP language (And others)

Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Cutting down the TPTP language (And others)'. Together they form a unique fingerprint.

Engineering & Materials Science