Search Results - "theorem"

Suggested Topics within your search.
Refine Results
  1. 1
    The Noether theorems invariance and conservation laws in the twentieth century

    The Noether theorems invariance and conservation laws in the twentieth century by Kosmann-Schwarzbach, Yvette 1941-

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

    Save to List
    Saved in:
  2. 2
    The theorem of pythagoras

    The theorem of pythagoras by Glenn, William H

    Published 1964
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Theorems and counterexamples in mathematics

    Theorems and counterexamples in mathematics by Gelbaum, Bernard R

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Automated theorem proving theory and practice

    Automated theorem proving theory and practice by Newborn, Monroe

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

    Save to List
    Saved in:
  5. 5
    Lectures on vanishing theorems

    Lectures on vanishing theorems by Esnault, Helene 1953-

    Published 1992
    Subjects: “…Vanishing theorems…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Strong limit theorems

    Strong limit theorems by Lin, Zhengyan

    Published 1992
    Subjects: “…Limit theorems (Probability theory)…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Principles of automated theorem proving

    Principles of automated theorem proving by Duffy, David A

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

    Save to List
    Saved in:
  8. 8
    Approximation theorems in commutative algebra classical and categorical methods

    Approximation theorems in commutative algebra classical and categorical methods by Alajbegovic, J. 1951- (Jusuf)

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Limit theorems of probability theory

    Limit theorems of probability theory

    Published 1975
    Subjects: “…Limit theorems (Probability theory) Congresses…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    A history of the central limit theorem from classical to modern probability theory

    A history of the central limit theorem from classical to modern probability theory by Fischer, Hans

    Published 2011
    Subjects: “…Central limit theorem History…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    First-order logic and automated theorem proving

    First-order logic and automated theorem proving by Fitting, Melvin 1942-

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

    Save to List
    Saved in:
  12. 12
    A proof theory for general unification

    A proof theory for general unification by Snyder, Wayne 1955 - .

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

    Save to List
    Saved in:
  13. 13
    The resolution calculus

    The resolution calculus by Leitsch, Alexander

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

    Save to List
    Saved in:
  14. 14
    The incompleteness phenomenon a new course in mathematical logic

    The incompleteness phenomenon a new course in mathematical logic by Goldstern, Martin

    Published 1995
    Subjects: “…Incompleteness theorems…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 15
    Symbolic logic and mechanical theorem proving

    Symbolic logic and mechanical theorem proving by Chang, Chin-Liang 1937-

    Published 1973
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 16
    Mean value theorems and functional equations

    Mean value theorems and functional equations by Sahoo, P. K.

    Published 1998
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Automated theorem proving in software engineering

    Automated theorem proving in software engineering by Schumann, Johann M 1960-

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

    Save to List
    Saved in:
  18. 18
    Theorems, corollaries, lemmas, and methods of proof

    Theorems, corollaries, lemmas, and methods of proof by Rossi, Richard J. 1956-

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 19
    Problems and theorems in classical set theory

    Problems and theorems in classical set theory by Komjath, Peter

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 20
    Theorems and Applied Principles in Linear Algebra

    Theorems and Applied Principles in Linear Algebra

    Published 2015
    Click Here to View Status and Holdings.
    Manuscript Book

    Save to List
    Saved in:

Search Tools: