Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/suttner-c

Christian Suttner (suttner-c)

Contributi a 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.