`Travelled to:`

1 × Czech Republic

1 × USA

`Collaborated with:`

M.A.McRobbie P.B.Thistlewaite J.Riche

`Talks about:`

theorem (2) prove (2) autom (2) ist (2) das (2) mathematik (1) urquhart (1) theologi (1) standard (1) knowledg (1)

## Person: Robert K. Meyer

### DBLP: Meyer:Robert_K=

### Contributed to:

### Wrote 3 papers:

- CSL-1998-RicheM #complexity #decidability
- Belnap, Urquhart and Relevant Decidability & Complexity. “Das ist nicht Mathematik, das ist Theologie.” (JR, RKM), pp. 224–240.
- 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.