Cargando…

First-order logic and automated theorem proving

Detalles Bibliográficos
Autores principales:	Gries, David, Fitting, Melvin
Lenguaje:	eng
Publicado:	Springer 1990
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2695470

Ejemplares similares

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001)

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

Justification logic: reasoning with reasons
por: Artemov, Sergei, et al.
Publicado: (2019)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

Direct and converse theorems: the elements of symbolic logic
por: Gradshtein, I S, et al.
Publicado: (1963)

Semigroups underlying first-order logic
por: Craig, William
Publicado: (2006)

Duality and definability in first order logic
por: Makkai, Michael
Publicado: (2014)

The mathematics of logic: a guide to completeness theorems and their applications
por: Kaye, Richard W
Publicado: (2007)

Descriptive set theory and forcing: how to prove theorems about borel sets the hard way
por: Miller, Arnold W
Publicado: (2017)

Local analysis for the odd order theorem
por: Bender, Helmut, et al.
Publicado: (1995)

Character theory for the odd order theorem
por: Peterfalvi, T, et al.
Publicado: (2000)

20th International Conference on Theorem Proving in Higher Order Logics
Publicado: (2007)

Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968)

Subsumption Demodulation in First-Order Theorem Proving
por: Gleiss, Bernhard, et al.
Publicado: (2020)

Types, Tableaus, and Gödel’s god
por: Fitting, Melvin
Publicado: (2002)

Fundamentals of generalized recursion theory
por: Fitting, Melvin
Publicado: (1981)

First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977)

Transplantation theorems and multiplier theorems for Jacobi series
por: Muckenhoupt, Benjamin
Publicado: (1986)

Raymond Smullyan on self reference
por: Fitting, Melvin, et al.
Publicado: (2018)

Minimax theorems
por: Willem, Michel
Publicado: (1996)

Ergodic theorems
por: Krengel, Ulrich, et al.
Publicado: (1985)

The spectral theorem
por: Helson, Henry
Publicado: (1986)

Geometric inequalities: methods of proving
por: Sedrakyan, Hayk, et al.
Publicado: (2017)

The art of proving binomial identities
por: Spivey, Michael Z
Publicado: (2019)

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
por: Babikian, Aren A., et al.
Publicado: (2020)

Comparison theorems in Riemannian geometry
por: Cheeger, Jeff, et al.
Publicado: (2008)

Prove it with figures: empirical methods in law and litigation
por: Zeisel, Hans, et al.
Publicado: (1997)

Theorems and counterexamples in mathematics
por: Gelbaum, Bernard R, et al.
Publicado: (1990)

Gap and density theorems
por: Levinson, N
Publicado: (1940)

Problems and theorems in analysis
por: Pólya, George, et al.
Publicado: (1972)

Fixed point theorems
por: Smart, D R
Publicado: (1974)

Problems and theorems in analysis
por: Polya, George, et al.
Publicado: (1972)

Map color theorem
por: Ringel, Gerhard
Publicado: (1974)

The fundamental theorem of algebra
por: Fine, Benjamin, et al.
Publicado: (1997)

An inhomogeneous Jarnìk theorem
por: Bugeaud, Y
Publicado: (2002)

Index theorem. 1
por: Furuta, Mikio
Publicado: (2007)

Tauberian remainder theorems
por: Ganelius, Tord H
Publicado: (1971)

Cannot write session to /tmp/vufind_sessions/sess_0f5kluvtm1qo2dn469jf61mduq