( en | de | ru )

 

Disambiguation of "Thistlewaite, Paul B."

Author of the publication

copydeleteadd this publication to your clipboard
Overview of TREC-7 Very Large Collection Track.

, , and . TREC, volume 500-242 of NIST Special Publication, page 40-52. National Institute of Standards and Technology (NIST), (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul B Kröhl

Paul B Kasper

Paul B Kröhl

B Schäfers

B Hause

 

Other publications of authors with the same name

Approaching Hard Non-Classical Problems., and . J. Autom. Reason., 7 (4): 635-637 (1991)ANU/ACSys TREC-6 Experiments., , and . TREC, volume 500-240 of NIST Special Publication, page 275-290. National Institute of Standards and Technology (NIST), (1997)Overview of TREC-7 Very Large Collection Track., , and . TREC, volume 500-242 of NIST Special Publication, page 40-52. National Institute of Standards and Technology (NIST), (1998)Searching For Meaning With The Help Of A PADRE., and . TREC, volume 500-225 of NIST Special Publication, page 257-268. National Institute of Standards and Technology (NIST), (1994)Merging Results From Isolated Search Engines., , and . Australasian Database Conference, volume 21 of Australian Computer Science Communications, page 189-200. Springer, (1999)ANU/ACSys TREC-5 Experiments., , and . TREC, volume 500-238 of NIST Special Publication, National Institute of Standards and Technology (NIST), (1996)Overview of TREC-6 Very Large Collection Track., and . TREC, volume 500-240 of NIST Special Publication, page 93-105. National Institute of Standards and Technology (NIST), (1997)The KRIPKE Automated Theorem Proving System., , and . CADE, volume 230 of Lecture Notes in Computer Science, page 705-706. Springer, (1986)Automated theorem-proving in non-classical logics., , and . Research Notes in Theoretical Computer Science Pitman, (1988)Results and Challenges in Web Search Evaluation., , , and . Computer Networks, 31 (11-16): 1321-1330 (1999)