Search

Search Funnelback University

Search powered by Funnelback
41 - 50 of 1,664 search results for news
  1. Fully-matching results

  2. new_basic_type_definition : string -> string * string -> thm ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/new_basic_type_definition.html
    18 Jun 2009: SYNOPSIS. Introduces a new type in bijection with a nonempty subset of an existing type. ... If the theorem involves type variables A1,.,An then the new type will be an $n$-ary type constructor rather than a basic type.
  3. Open Cambridge talks and art exhibition 2009 | University of Cambridge

    https://www.cam.ac.uk/news/open-cambridge-talks-and-art-exhibition-2009
    2 Sep 2009: Search. Search. Open Cambridge talks and art exhibition 2009. News. Open Cambridge talks and art exhibition 2009..
  4. Alternative 800th public lecture series launched | University of…

    https://www.cam.ac.uk/news/alternative-800th-public-lecture-series-launched
    2 Oct 2009: Search. Search. Alternative 800th public lecture series launched. News. Alternative 800th public lecture series launched..
  5. Sidney seven take Cambridge to Merseyside schools | University of…

    https://www.cam.ac.uk/news/sidney-seven-take-cambridge-to-merseyside-schools
    16 Mar 2009: Search. Search. Sidney seven take Cambridge to Merseyside schools. News. Sidney seven take Cambridge to Merseyside schools..
  6. Greek Grammar to fill the gap | University of Cambridge

    https://www.cam.ac.uk/research/news/greek-grammar-to-fill-the-gap
    Thumbnail for Greek Grammar to fill the gap | University of Cambridge 27 May 2009: Our selection of the week's biggest Cambridge research news sent directly to your inbox. ... Email. I wish to receive a weekly Cambridge research news summary by email.
  7. Women in Science: what women and men should know | University of…

    https://www.cam.ac.uk/news/women-in-science-what-women-and-men-should-know
    20 Feb 2009: News. Women in Science: what women and men should know..
  8. Does chance have a spiritual and scientific purpose? | University of…

    https://www.cam.ac.uk/news/does-chance-have-a-spiritual-and-scientific-purpose
    30 Oct 2009: Search. Search. Does chance have a spiritual and scientific purpose? News.
  9. Cambridge University Boat Club to race 'The Great Eight' |…

    https://www.cam.ac.uk/news/cambridge-university-boat-club-to-race-the-great-eight
    9 Mar 2009: News. Cambridge University Boat Club to race 'The Great Eight'.. ... 3 - Lassi Karonnen (Sweden). 4 - Marcel Hacker (Germany). 5 - Mahe Drysdale (New Zealand).
  10. Undergraduate diaries: this week – from Kabul to Cambridge |…

    https://www.cam.ac.uk/news/undergraduate-diaries-this-week-from-kabul-to-cambridge
    5 Feb 2009: News. Undergraduate diaries: this week – from Kabul to Cambridge.. ... The pace was expeditious but I still managed to pursue my old hobbies and develop new ones.
  11. New Testament Eschatology and the Environment | Faraday

    https://www.faraday.cam.ac.uk/resources/multimedia/new-testament-eschatology-and-the-environment-2/
    Thumbnail for New Testament Eschatology and the Environment | Faraday 14 Jan 2009: Search. Dr Jonathan Moo. Share. Date: January 14, 2009. Speakers: Dr Jonathan Moo. Category: Bible, Environment, Eschatology. Audience: Intermediate. Context: Course. Course: Short Course no. 13: Science, Religion and the Environment - Course for

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.