( en | de | ru )

 

Disambiguation of "Thistlewaite, Paul B."

Author of the publication

copydeleteadd this publication to your clipboard
Results and Challenges in Web Search Evaluation.

, , , and . Comput. Networks, 31 (11-16): 1321-1330 (1999)

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 Jahnke

Sonny B

 

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)Merging Results From Isolated Search Engines., , and . Australasian Database Conference, volume 21 of Australian Computer Science Communications, page 189-200. Springer, (1999)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)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)Automatic Construction and Management of Large Open Webs.. Inf. Process. Manag., 33 (2): 161-173 (1997)Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics., , and . CADE, volume 310 of Lecture Notes in Computer Science, page 197-217. Springer, (1988)