Cargando…

Symbolic logic and mechanical theorem proving

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	Chang Chin Liang, Lee, Richard C
Lenguaje:	eng
Publicado:	Academic Press 1973
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/105172

Ejemplares similares

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

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

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

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)

Symbolic logic
por: Venn, John
Publicado: (1971)

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

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

The origin of the logic of symbolic mathematics: Edmund Husserl and Jacob Klein
por: Hopkins, Burt C
Publicado: (2011)

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

NATO Advanced Study Institute Meeting of the Association for Symbolic Logic
por: Löb, M
Publicado: (1968)

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

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

Noether's theorems: applications in mechanics and field theory
por: Sardanashvily, Gennadi
Publicado: (2016)

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

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

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

Symbolic integration
por: Bronstein, Manuel
Publicado: (1997)

Symbolic asymptotics
por: Shackell, John R
Publicado: (2004)

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

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

The Atiyah-Patodi-Singer index theorem
por: Melrose, Richard
Publicado: (1993)

Theorems, Corollaries, Lemmas, and Methods of Proof
por: Rossi, Richard J
Publicado: (2006)

The logic of quantum mechanics
por: Beltrametti, Enrico G, et al.
Publicado: (2010)

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)

On global univalence theorems
por: Parthasarathy, T
Publicado: (1983)

Selection theorems and their applications
por: Parthasarathy, T
Publicado: (1972)

The cosπλ theorem
por: Essén, Matts R
Publicado: (1975)

Lectures on Vanishing Theorems
por: Esnault, Hélène, et al.
Publicado: (1992)

Lectures on Choquet’s theorem
por: Phelps, Robert
Publicado: (2001)

Examples and theorems in analysis
por: Walker, Peter Leslie
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_sbfq3r0d2dbu2ng4u72vs2ouas