Đang tải...

Mã QR

Symbolic, logic and mechanical theorem proving

other_versions_link

Chi tiết về thư mục
Tác giả chính:	Chang, Chin-Liang
Tác giả khác:	Lee, Richard Char-Tung
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New York Academic Press 1973
Những chủ đề:	Symbolic theorem proving > Logic theorem proving > Mechanical theorem proving > Computational mathematics > Numerical analysis > Computer programming > Computer software

Những quyển sách tương tự

Logic for computer science: foundations of automatic theorem proving
Bằng: Gallier, Jean H; Author
Được phát hành: (1987)

Logic for computer science : foundations of automatic theorem proving /
Bằng: Gallier, Jean H.
Được phát hành: (2015)

Applied proof theory : proof interpretations and their use in mathematics /
Bằng: Kohlenbach, U.
Được phát hành: (2008)

Diagrammatic reasoning: cognitive and computational perspectives
Bằng: Chandrasekaran, B
Được phát hành: (1995)

Automated theorem proving: theory and practice
Bằng: Newborn, Monty
Được phát hành: (2001)

Godel's incompleteness theorems /
Bằng: Smullyan, Raymond M.
Được phát hành: (1992)

Gödel's theorem in focus /
Được phát hành: (1988)

Szegos type theorems
Bằng: Ramadevi, S.
Được phát hành: (2003)

Extentions of korovkin theorems
Bằng: Donner, K.

Introduction to Godel's Theorems
Bằng: Smith,Peter
Được phát hành: (2007)

Addition Theorems
Bằng: Mann, Henry. B.
Được phát hành: (1965)

Limit theorems in change-point analysis
Bằng: Csorgo, Miklos
Được phát hành: (1997)

Seminar on the Atiyah-Singer index theorem
Bằng: Palais, Richard S
Được phát hành: (2005)

Limit theorems in probability and statistics.Vol.1
Bằng: Ed by Revesz,P
Được phát hành: (1984)

Limit theorems in probability and statistics.Vol.II
Bằng: Ed by Revesz, P.

13 lectures on Fermat's last theorem /
Bằng: Ribenboim, Paulo
Được phát hành: (1979)

On szegos type theorems
Bằng: Remadevi, S.
Được phát hành: (2003)

Tauberian remainder theorems,
Bằng: Ganelius, Tord H.
Được phát hành: (1969)

Pythagorean theorem : the story of its power and beauty /
Bằng: Posamentier, Alfred S.
Được phát hành: (2010)

The Infamous Boundary:Seven Decades of Controversy in quantum Physics
Bằng: Wick,David
Được phát hành: (1995)

Probability Measures On Metric Spaces
Bằng: Parthasarathy, K, P, (Parthasarathy, K, P)
Được phát hành: (1967)

Fermat's last theorem for amateurs.
Bằng: Ribenboim, Paulo
Được phát hành: (1999)

Elements of Mathematics Theory of Sets
Bằng: Bourbaki.Nicolas
Được phát hành: (1968)

Elementary Theory Of Equations
Bằng: Borofsky, Samuel, (Borofsky, Samuel)
Được phát hành: (1960)

An introductin to vector analysis: for physicists and engineers
Bằng: Hague, B
Được phát hành: (1967)

Godel's proof,
Bằng: Nagel, Ernest
Được phát hành: (1986)

Fermat's Last Theorem: Unlocking the secret of an ancient Mathematical Problem
Bằng: Aczel, Amir. D
Được phát hành: (1996)

Pythagoras and his theorem /
Bằng: Strathern, Paul
Được phát hành: (1997)

Introduction To Mathematical Probability
Bằng: Uspensky, J, V, (Uspensky, J, V)
Được phát hành: (1937)

Advanced Calculus
Bằng: Sokolnikoff, Ivan, S, (Sokolnikoff, Ivan, S)
Được phát hành: (1939)

Metamathematics, machines and Godel's proof.
Bằng: Shankar, N
Được phát hành: (1994)

Introduction to bayesian statistical decision processes
Bằng: Morgan, Bruce W.
Được phát hành: (1968)

Mathematics for modern management
Bằng: Dean, Burton V.
Được phát hành: (1978)

Statistical models, Yang-Baxter equation and related topics

Harmonic maps, loop groups, and integrable systems
Bằng: Guest, Martin A
Được phát hành: (1997)

Yang-Baxter equation in integrable systems
Được phát hành: (1989)

Quantum [Un]Speakables: from Bell to quantum information
Bằng: Bertlmann, R.A
Được phát hành: (2002)

Algebraic Functions,XVI
Bằng: Bliss, Gilbert, Ames,
Được phát hành: (1933)

Continued Fractions
Bằng: Wall, H, S, (Wall, H, S)
Được phát hành: (1948)

Lie Theory: Harmonic Analysis on Symmetric Spaces-General Plancherel Theorems /
Được phát hành: (2005)