Michael A. McRobbie

Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams: Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications. HPDC 1998: 252-259

Michael A. McRobbie, John K. Slaney (Eds.): Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. Lecture Notes in Computer Science 1104, Springer 1996, isbn 3-540-61511-3

Robert K. Meyer, Michael A. McRobbie, Nuel Belnap: Linear Analytic Tableaux. TABLEAUX 1995: 278-293

Michael A. McRobbie, Jörg H. Siekmann: Artificial intelligence: Perspectives and Predictions. Applied Artificial Intelligence 5(2): 187-207 (1991)

Michael A. McRobbie: Automated Reasoning and Nonclassical Logics: Introduction. J. Autom. Reasoning 7(4): 447-451 (1991)

Paul B. Thistlewaite, Michael A. McRobbie: Approaching Hard Non-Classical Problems. J. Autom. Reasoning 7(4): 635-637 (1991)

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: Automated theorem-proving in non-classical logics. Research Notes in Theoretical Computer Science, Pitman 1988, isbn 978-0-273-08781-6, pp. 1-154

Michael A. McRobbie, Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988)

Roderic A. Girle, Michael A. McRobbie: Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. Australian Joint Conference on Artificial Intelligence 1988: 156-176

Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite: Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE 1988: 197-217

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: The KRIPKE Automated Theorem Proving System. CADE 1986: 705-706