Search Results - "theorem"

Suggested Topics within your search.
Refine Results
  1. 21
    ELEMENTARY BAYESIAN BIOSTATISTICS

    ELEMENTARY BAYESIAN BIOSTATISTICS by Moye, Lemuel A.

    Published 2008
    Subjects: “…Bayes Theorem…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 22
    The potential distribution theorem and models of molecular solutions

    The potential distribution theorem and models of molecular solutions by Beck, Thomas L. 1960-

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 23
    Convergence theorems with a stable limit law

    Convergence theorems with a stable limit law by Christoph, Gerd

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 24
    Bayesian biostatistics

    Bayesian biostatistics

    Published 1996
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 25
    The automation of reasoning an experimenter's notebook with OTTER tutorial

    The automation of reasoning an experimenter's notebook with OTTER tutorial by Wos, Larry

    Published 1996
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 26
    Automated reasoning 33 basic research problems

    Automated reasoning 33 basic research problems by Wos, Larry

    Published 1988
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 27
    Handbook of automated reasoning

    Handbook of automated reasoning

    Published 2001
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 28
    Non-commutative Gelfand theories a tool-kit for operator theorists and numerical analysts

    Non-commutative Gelfand theories a tool-kit for operator theorists and numerical analysts by Roch, Steffen 1958-

    Published 2011
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 29
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Published 1993
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 30
    The Computer modelling of mathematical reasoning

    The Computer modelling of mathematical reasoning by Bundy, Allan

    Published 1983
    Subjects: “…Automatic theorem proving…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 31
    Bayesian disease mapping hierarchical modeling in spatial epidemiology

    Bayesian disease mapping hierarchical modeling in spatial epidemiology by Lawson, Andrew Andrew B.

    Published 2009
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 32
    Normal approximation and asymptotic expansions

    Normal approximation and asymptotic expansions by Bhattacharya, R. N. 1937- Rabindra Nath

    Published 2010
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 33
    Noncommutative geometry and Cayley-smooth orders

    Noncommutative geometry and Cayley-smooth orders by Le Bruyn, Lieven 1958-

    Published 2008
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 34
    Integral theorems for functions and differential forms in C(m)

    Integral theorems for functions and differential forms in C(m) by Rocha-Ch?ez, Reynaldo

    Published 2002
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 35
    Carleman's Formulas in Complex Analysis Theory and Applications

    Carleman's Formulas in Complex Analysis Theory and Applications by Aizenberg, Lev Abramovich 1937-

    Published 1993
    Subjects:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  16. 36
    Diagrammatic representation and reasoning

    Diagrammatic representation and reasoning

    Published 2002
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 37
    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

    Published 1992
    Subjects: “…Automatic theorem proving Congresses…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 38
    The Ricci flow in Riemannian geometry a complete proof of the differentiable 1/4-pinching sphere theorem

    The Ricci flow in Riemannian geometry a complete proof of the differentiable 1/4-pinching sphere theorem by Andrews, Ben Ph. D.

    Published 2011
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 39
    The distribution of prime numbers: large sieves and zero-density theorems

    The distribution of prime numbers: large sieves and zero-density theorems by Huxley, M. N. (Martin Neil

    Published 1972
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 40
    Proof in VDM a practitioner's guide

    Proof in VDM a practitioner's guide

    Published 1994
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: