Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
Did you mean economiespast?
61 - 80 of 659 search results for Economics test where 31 match all words and 628 match some words.

  1. Results that match 1 of 2 words

  2. is_cons : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_cons.html
    18 May 2006: is_cons : term -> bool. SYNOPSIS. Tests a term to see if it is an application of CONS.

  3. is_disj : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_disj.html
    18 May 2006: is_disj : term -> bool. SYNOPSIS. Tests a term to see if it is a disjunction.

  4. is_list : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_list.html
    18 May 2006: is_list : term -> bool. SYNOPSIS. Tests a term to see if it is a list.

  5. is_undefined : ('a, 'b) func -> bool SYNOPSIS Tests ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_undefined.html
    18 May 2006: is_undefined : ('a, 'b) func -> bool. SYNOPSIS. Tests if a finite partial function is defined nowhere. ... The predicate is_undefined tests if the argument is the completely undefined function.

  6. is_comb : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_comb.html
    18 May 2006: is_comb : term -> bool. SYNOPSIS. Tests a term to see if it is a combination (function application).

  7. is_pair : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_pair.html
    18 May 2006: is_pair : term -> bool. SYNOPSIS. Tests a term to see if it is a pair.

  8. is_type : hol_type -> bool SYNOPSIS Tests whether a ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_type.html
    18 May 2006: is_type : hol_type -> bool. SYNOPSIS. Tests whether a type is an instance of a type constructor.

  9. Celebrating British Science | University of Cambridge

    https://www.cam.ac.uk/news/celebrating-british-science
    14 Mar 2006: Dr Turner, of the Department of Psychiatry, is one of five young researchers chosen to showcase their research at the prominent event organised by the Office
    By: @cambridge_uni

  10. free_in : term -> term -> bool SYNOPSIS Tests ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/free_in.html
    18 May 2006: free_in : term -> term -> bool. SYNOPSIS. Tests if one term is free in another.

  11. is_const : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_const.html
    18 May 2006: is_const : term -> bool. SYNOPSIS. Tests a term to see if it is a constant.

  12. is_binop : term -> term -> bool SYNOPSIS Tests ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_binop.html
    18 May 2006: is_binop : term -> term -> bool. SYNOPSIS. Tests if a term is an application of the given binary operator.

  13. is_exists : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_exists.html
    18 May 2006: is_exists : term -> bool. SYNOPSIS. Tests a term to see if it as an existential quantification.

  14. is_forall : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_forall.html
    18 May 2006: is_forall : term -> bool. SYNOPSIS. Tests a term to see if it is a universal quantification.

  15. is_select : term -> bool SYNOPSIS Tests a term ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_select.html
    18 May 2006: is_select : term -> bool. SYNOPSIS. Tests a term to see if it is a choice binding.

  16. is_realintconst : term -> bool SYNOPSIS Tests if a ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_realintconst.html
    18 May 2006: is_realintconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :real. ... DESCRIPTION. The call is_realintconst t tests whether the term t is a canonical integer literal of type :real, i.e.

  17. occurs_in : hol_type -> hol_type -> bool SYNOPSIS Tests ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/occurs_in.html
    18 May 2006: occurs_in : hol_type -> hol_type -> bool. SYNOPSIS. Tests if one type occurs in another.

  18. is_numeral : term -> bool SYNOPSIS Tests if a ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_numeral.html
    18 May 2006: is_numeral : term -> bool. SYNOPSIS. Tests if a term is a natural number numeral.

  19. is_vartype : hol_type -> bool SYNOPSIS Tests a type ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_vartype.html
    18 May 2006: is_vartype : hol_type -> bool. SYNOPSIS. Tests a type to see if it is a type variable.

  20. Speaking in China | University of Cambridge

    https://www.cam.ac.uk/research/news/speaking-in-china
    17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is
    By: @cambridge_uni

  21. is_reserved_word : string -> bool SYNOPSIS Tests if a ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_reserved_word.html
    18 May 2006: is_reserved_word : string -> bool. SYNOPSIS. Tests if a string is one of the reserved words. ... The call is_reserved_word s tests if the string s is one of them.

Refine your results

Format

clear all

Date

Related searches for Economics test

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.