Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Article

Balmford, A. and Bennun, L. and ten Brink, B. and Cooper, D. and Cote, I.M. and Crane, P. and Dobson, A. and Dudley, N. and Dutton, I. and Green, R.E. and Gregory, R.D. and Harrison, J. and Kennedy, E.T. and Kremen, C. and Leader-Williams, N. and Lovejoy, T.E. and Mace, G. and May, R. and Mayaux, P. and Morling, P. and Phillips, J. and Redford, K. and Ricketts, T.H. and Rodriguez, J.P. and Sanjayan, M. and Schei, P.J. and van Jaarsveld, A.S. and Walther, B.A. (2005) The convention on biological diversity's 2010 target. Science, 307 (5707). pp. 212-213. ISSN 0036-8075. (Access to this publication is restricted)
[img]

Conference or workshop item

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Thu Apr 24 10:59:57 2014 BST.