dblp.uni-trier.dewww.uni-trier.de

Michael A. McRobbie Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
10EEMichael 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
4EERoderic 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
3EEMichael 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
1EEPaul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: The KRIPKE Automated Theorem Proving System. CADE 1986: 705-706

Coauthor Index

1K. H. Adams [10]
2Nuel Belnap [8]
3Dennis Gannon [10]
4Roderic A. Girle [4]
5Donald F. McMullen [10]
6Robert K. Meyer [1] [3] [8]
7Douglas D. Pearson [10]
8R. Allen Robel [10]
9Jörg H. Siekmann [2] [7]
10John K. Slaney [9]
11Paul B. Thistlewaite [1] [3] [5]
12Steven S. Wallace [10]
13James G. Williams [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)