`Travelled to:`

2 × USA

`Collaborated with:`

R.K.Meyer P.B.Thistlewaite D.F.McMullen K.H.Adams D.Gannon D.D.Pearson R.A.Robel S.S.Wallace J.G.Williams

`Talks about:`

theorem (2) network (2) prove (2) autom (2) standard (1) research (1) knowledg (1) perform (1) connect (1) toward (1)

## Person: Michael A. McRobbie

### DBLP: McRobbie:Michael_A=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 3 papers:

- HPDC-1998-McRobbieMAGPRWW #education #network #performance #research
- Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications (MAM, DFM, KHA, DG, DDP, RAR, SSW, JGW), pp. 252–259.
- CADE-1988-McRobbieMT #automation #knowledge-based #logic #performance #proving #standard #theorem proving #towards
- Towards Efficient “Knowledge-Based” Automated Theorem Proving for Non-Standard Logics (MAM, RKM, PBT), pp. 197–217.
- CADE-1986-ThistlewaiteMM #automation #proving #theorem proving
- The KRIPKE Automated Theorem Proving System (PBT, MAM, RKM), pp. 705–706.