Travelled to:1 × USA
Collaborated with:M.A.McRobbie R.K.Meyer
Talks about:theorem (2) prove (2) autom (2) standard (1) knowledg (1) toward (1) system (1) effici (1) logic (1) kripk (1)
Person: Paul B. Thistlewaite
DBLP: Thistlewaite:Paul_B=
Contributed to:
19881986Wrote 2 papers:
- 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.