Imagen de Portada

Gems of theoretical computer science /

Guardado en:

Autor Principal:	Schöning, Uwe, 1955-
Otros Autores:	Pruim, Randall J.
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer, c1998.
Materias:	Automatic theorem proving.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Publicado: (1994)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
por: Bertot, Yves.
Publicado: (2004)

First-order logic and automated theorem proving /
por: Fitting, Melvin, 1942-
Publicado: (1996)

Automated practical reasoning : algebraic approaches /
Publicado: (1995)

Automated reasoning : introduction and applications /
Publicado: (1984)

Computational logic : essays in honor of Alan Robinson /
Publicado: (1991)

Proof in VDM : a practitioner's guide /
Publicado: (1994)

The automation of reasoning : an experimenter's notebook with OTTER tutorial /
por: Wos, Larry.
Publicado: (1996)

Logic programming : operational semantics and proof theory /
por: Andrews, James H.
Publicado: (1992)

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang, 1937-
Publicado: (1973)

Gödel's theorem : an incomplete guide to its use and abuse /
por: Franzén, Torkel.
Publicado: (2005)

Handbook of theoretical computer science /
Publicado: (1990)

Reciprocity laws : from Euler to Eisenstein /
por: Lemmermeyer, Franz, 1962-
Publicado: (2000)

Existence theorems for ordinary differential equations /
por: Murray, Francis J. 1911-
Publicado: (1954)

Gödel's proof /
por: Nagel, Ernest, 1901-1985.
Publicado: (1958)

International journal of computer & information sciences.
Publicado: (1985)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans.
Publicado: (1965)

13 lectures on Fermat's last theorem /
por: Ribenboim, Paulo.
Publicado: (1979)

Forever undecided : a puzzle guide to Gödel /
por: Smullyan, Raymond M.
Publicado: (1988)

Existence theorems for ordinary differential equations /
por: Murray, Francis J. 1911-
Publicado: (1976)

Heads or tails : an introduction to limit theorems in probability /
por: Lesigne, Emmanuel, 1956-
Publicado: (2005)

Polynomial completeness in algebraic systems /
por: Kaarli, Kalle.
Publicado: (2001)

Some limit theorems in statistics /
por: Bahadur, Raghu Raj, 1924-
Publicado: (1971)

Fermat's last theorem for amateurs /
por: Ribenboim, Paulo.
Publicado: (1999)

Diagnóstico de fallos en procesos industriales empleando técnicas de aprendizaje basadas en métodos kernel /
por: Bernal de Lázaro, José M.
Publicado: (2016)

Optimal and self-optimizing control /
Publicado: (1966)

Computational & theoretical polymer science.
Publicado: (1996)

Theoretical foundations of computer science /
por: Mandrioli, Dino.
Publicado: (1993)

Theoretical foundations of computer science /
por: Mandrioli, Dino.
Publicado: (1987)

Distributed computer control systems : proceedings of the IFAC Workshop, Tampa, Florida, U.S.A., 2-4 October 1979 /
Publicado: (1980)

Word problems : decision problems and the Burnside problem in group theory /
Publicado: (1973)

Limit theorems of probability theory /
Publicado: (1975)

Existence theorems in partial differential equations /
por: Bernstein, Dorothy Lewis, 1914-
Publicado: (1950)

Computer aided design of control systems : proceedings of the IFAC Symposium, Zürich, Switzerland, 29-31 August 1979 /
Publicado: (1980)

Theoretical Computer Science Essays in Memory of Shimon Even /
por: Goldreich, Oded.
Publicado: (2006)

IEEE Transactions on automatic control /
Publicado: (1969)

Petri nets in flexible and agile automation /
Publicado: (1995)

Mathematical theory of connecting networks and telephone traffic /
por: Benes, V. E.
Publicado: (1965)

Geometric control of mechanical systems : modeling, analysis, and design for simple mechanical control systems /
por: Bullo, Francesco.
Publicado: (2005)