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?
51 - 60 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_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_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.

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

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

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

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

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

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

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

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.