Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/pastre-d

Dominique Pastre (pastre-d)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Pastre, Dominique. 1978. “Automatic Theorem Proving in Set Theory.” Artificial Intelligence 10(1): 1–27.
    Pastre, Dominique. 1989. “MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics.” Artificial Intelligence 38(3): 257–318.