 | 1998 |
|---|
| 10 |       | 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 |
| 1996 |
|---|
| 9 |  | Michael A. McRobbie,
John K. Slaney:
Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 8 | | Robert K. Meyer,
Michael A. McRobbie,
Nuel Belnap:
Linear Analytic Tableaux.
TABLEAUX 1995: 278-293 |
| 1991 |
|---|
| 7 | | Michael A. McRobbie,
Jörg H. Siekmann:
Artificial intelligence: Perspectives and Predictions.
Applied Artificial Intelligence 5(2): 187-207 (1991) |
| 6 | | Michael A. McRobbie:
Automated Reasoning and Nonclassical Logics: Introduction.
J. Autom. Reasoning 7(4): 447-451 (1991) |
| 5 | | Paul B. Thistlewaite,
Michael A. McRobbie:
Approaching Hard Non-Classical Problems.
J. Autom. Reasoning 7(4): 635-637 (1991) |
| 1988 |
|---|
| 4 | | 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 |
| 3 | | Michael A. McRobbie,
Robert K. Meyer,
Paul B. Thistlewaite:
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.
CADE 1988: 197-217 |
| 2 | | Michael A. McRobbie,
Jörg H. Siekmann:
Artificial Intelligence: Perspectives and Predictions.
AI Commun. 1(4): 16-29 (1988) |
| 1986 |
|---|
| 1 | | Paul B. Thistlewaite,
Michael A. McRobbie,
Robert K. Meyer:
The KRIPKE Automated Theorem Proving System.
CADE 1986: 705-706 |
