Christian Suttner (suttner-c)

Contributions to Philosophie.ch

No contributions yet

Bibliography

Sutcliffe, Geoff and Suttner, Christian. 2001. “Evaluating General Purpose Automated Theorem Proving Systems.” Artificial Intelligence 131(1–2): 39–54.