Travelled to:
1 × USA
Collaborated with:
H.J.Ohlbach
Talks about:
theorem (1) problem (1) prover (1) relev (1) logic (1) autom (1) solv (1)
Person: Graham Wrightson
DBLP: Wrightson:Graham
Contributed to:
Wrote 1 papers:
- CADE-1984-OhlbachW #automation #logic #problem #proving #theorem proving
- Solving a Problem in Relevance Logic with an Automated Theorem Prover (HJO, GW), pp. 496–508.