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 743 search results for Economics test where 32 match all words and 711 match some words.

  1. Results that match 1 of 2 words

  2. is_intconst : term -> bool SYNOPSIS Tests if a ...

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

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

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

  4. is_imp : term -> bool SYNOPSIS Tests if a ...

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

  5. is_var : term -> bool SYNOPSIS Tests a term ...

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

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

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

  7. is_ratconst : term -> bool SYNOPSIS Tests if a ...

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

  8. is_let : term -> bool SYNOPSIS Tests a term ...

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

  9. is_cond : term -> bool SYNOPSIS Tests a term ...

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

  10. is_conj : term -> bool SYNOPSIS Tests a term ...

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

  11. 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.

  12. is_iff : term -> bool SYNOPSIS Tests if a ...

    https://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/is_iff.html
    18 May 2006: is_iff : term -> bool. SYNOPSIS. Tests if a term is an equation between Boolean terms (iff / logical equivalence).

  13. 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.

  14. 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.

  15. 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).

  16. 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.

  17. 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.

  18. 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.

  19. African fellowship | University of Cambridge

    https://www.cam.ac.uk/news/african-fellowship
    27 Jan 2006: Maarten Scholten, Chairman of the Schlumberger Foundation, said: “Education, particularly in science and engineering, is the vital ingredient that will ensure continued social and economic development in African countries.
    By: @cambridge_uni

  20. 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.

  21. 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.

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.