Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/mcrobbie

Michael A. McRobbie (mcrobbie)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    McRobbie, Michael A. 1982. “Interpolation Theorems: A Bibliography.” 1/82. Melbourne: Department of Philosophy, The University of Melbourne.
    McRobbie, Michael A. and Slaney, John K., eds. 1996. CADE-13 Thirteenth International Conference on Automated Deduction. Lecture Notes in Computer Science. Berlin: Springer.
    Thistlewaite, P. B., McRobbie, Michael A. and Meyer, Robert K. 1985. “Advanced Theorem-Proving Techniques for Relevant Logics.” Logique et Analyse 28(110–111): 233–256.
    Thistlewaite, P. B., McRobbie, Michael A. and Meyer, Robert K. 1988. Automated Theorem-Proving in Non-Classical Logics. London: Pitman.