Benjamin C. Pierce
8 published titles
Statistical bases of relevance assessment for the 'ideal' information retrieval test collection
(Contributor)
1 edition
- Computer Laboratory, University of Cambridge
- 1979
- Details
Automatic search term variant generation for document retrieval
(Contributor)
1 edition
- Computer Laboratory, University of Cambridge
- 1983
- Details
Decoding choice encodings
(Contributor)
1 edition
- University of Cambridge Computer Laboratory
- 1996
- Details
Generic automatic proof tools
(Contributor)
1 edition
- University of Cambridge, Computer Laboratory
- 1996
- Details
Gelfish- graphical environment for labelling fish images
(Contributor)
1 edition
- University of Cambridge, Computer Laboratory
- 1999
- Details
Formal verification of machine-code programs
(Contributor)
1 edition
- ISBN: 9781906124816
- University of Cambridge, Computer Laboratory, Trinity College
- 2008
- Details
Logics and analyses for concurrent heap-manipulating programs
(Contributor)
1 edition
- ISBN: 9781906124830
- British Computer Society
- 2009
- Details
NURBS-compatible subdivision surfaces
(Contributor)
1 edition
- ISBN: 9781906124823
- British Computer Society
- 2011
- Details
