Automated theorem proving :

Automated theorem proving : after 25 years

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο:	Special Session on Automatic Theorem Proving, American Mathematical Society
Άλλοι συγγραφείς:	Bledsoe, W. W. (Επιμελητής έκδοσης), Loveland, Donald W. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, R.I. : American Mathematical Society, c1984.
Σειρά:	Contemporary mathematics (American Mathematical Society) ; 29
Θέματα:	Automatic theorem proving > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988)

Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Automated Reasoning :
Δημοσίευση: (1992)

Automated Reasoning :
από: Wos, Larry
Δημοσίευση: (1992)

Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)

Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998)

Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987)

Proof in VDM: :
Δημοσίευση: (1998)

The computer modelling of mathematical reasoning
από: Bundy, Alan
Δημοσίευση: (1983)

Diagrammatic reasoning :
Δημοσίευση: (1995)

Ontic :
από: McAllester, David A.
Δημοσίευση: (1989)

Computational logic :
Δημοσίευση: (1991)

Provings and posology
από: Σημαδοπούλου, Σουλτάνα - Δημήτριος
Δημοσίευση: (2015)

Φυτοθεραπευτική δράση των βοτάνων σε σύγκριση με τα αντίστοιχα ομοιοπαθητικά παθογενετικά πειράματα (homeopathic pathogenetic trials [HPTs], provings) στον ανθρώπινο οργανισμό
από: Τσανταρλιώτη, Όλγα (Δημήτριος)
Δημοσίευση: (2015)

Godel's incompleteness theorems
από: Smullyan, Raymond M.
Δημοσίευση: (1992)

Godel's Theorem in Focus
Δημοσίευση: (1991)

The fundamental theorem of algebra
από: Fine, Benjamin 1948-
Δημοσίευση: (1997)

Fermat's last theorem :
από: Singh, Simon
Δημοσίευση: (2002)

Fermat's last theorem for amateurs
από: Ribenboim, Paulo
Δημοσίευση: (1999)

The theorem of Pythagoras
Δημοσίευση: (1988)

Theoreme de fermat ; Elements supplementaires :
από: Παπαδάκης, Κωνσταντίνος Νικ
Δημοσίευση: (1989)

Atiyah-Singer index theorem :
από: Mukherjee, Amiya
Δημοσίευση: (2013)

Some limit theorems in statistics
από: Bahadur, Raghu Raj 1924-
Δημοσίευση: (1971)

Limit theorems for large deviations
από: Saulis, L.
Δημοσίευση: (1991)

Fermat's last theorem :
από: Edwards, Harold M.
Δημοσίευση: (1977)

Demonstration et generalization du theoreme de Fermat
από: Champeaux de la Boulaye, Gabriel, comte de
Δημοσίευση: (1933)

Lectures on the arithmetic Riemann-Roch theorem
από: Faltings, Gerd
Δημοσίευση: (1992)

Limit Theorems for Stochastic Processes
από: Jacod, Jean
Δημοσίευση: (1987)

Approximation theorems of mathematical statistics
από: Serfling, R. J.
Δημοσίευση: (1980)

Fatou type theorems :
από: Di Biase, Fausto 1962-
Δημοσίευση: (1998)

The index theorem for minimal surfaces of higher genus
από: Tomi, Friedrich
Δημοσίευση: (1995)

Approximation of functions of several variables and imbedding theorems
από: Nikolskii, S. M. (Sergei Mikhailovich), 1905-2012
Δημοσίευση: (1975)

Similarity ; the theorem of Pythagoras ; the story of π
από: Apostol, Tom M.
Δημοσίευση: (2005)

Novikov conjectures, index theorems and rigidity :
Δημοσίευση: (1995)

Orthogonal decompositions and functional limit theorems for random graph statistics
από: Janson, Svante
Δημοσίευση: (1994)

An arithmetic Riemann-Roch theorem for singular arithmetic surfaces
από: Aitken, Wayne 1963-
Δημοσίευση: (1996)

Seminar on the Atiyah-Singer index theorem
από: Palais, Richard S.
Δημοσίευση: (1965)

Automatic indexing and abstracting of document texts
από: Moens, Marie-Francine, 1957-
Δημοσίευση: (2000)

Limit theorems for unions of random closed sets
από: Molchanov, Ilya S. 1962-
Δημοσίευση: (1993)