Paul B. Thistlewaite
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1986–1999
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | ADC | Merging Results From Isolated Search Engines. | Nick Craswell, David Hawking, Paul B. Thistlewaite |
| 1988 | CADE | Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. | Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite |
| 1986 | CADE | The KRIPKE Automated Theorem Proving System. | Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer |