Dominique Pastre (pastre-d)

Contributions to Philosophie.ch

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.