Cargando…

Recent progress in the Boolean domain /

Mostrar otras versiones (2)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Steinbach, Bernd (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Temas:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

Automated theorem proving : after 25 years /
Publicado: (1984)

First-Order Logic and Automated Theorem Proving /
por: Fitting, Melvin
Publicado: (1996)

Proof technology and computation /
Publicado: (2006)

Proof technology and computation /
Publicado: (2006)

The little prover /
por: Friedman, Daniel P., et al.
Publicado: (2015)

A computational logic /
por: Boyer, Robert S., et al.
Publicado: (1979)

Handbook of automated reasoning.
Publicado: (2001)

A computational logic handbook /
por: Boyer, Robert S.
Publicado: (1988)

Automated theorem proving : a logical basis /
por: Loveland, Donald W.
Publicado: (1978)

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

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
Publicado: (1993)

Handbook of automated reasoning /
Publicado: (2001)

A many-sorted calculus based on resolution and paramodulation /
por: Walther, Christoph
Publicado: (1987)

Gödel's incompleteness theorems /
por: Smullyan, Raymond M.
Publicado: (1992)

Recent Progress in the Boolean Domain.
por: Steinbach, Bernd
Publicado: (2014)

Recent Progress in the Boolean Domain.
por: Steinbach, Bernd
Publicado: (2014)

Mathematics mechanization and applications /
Publicado: (2000)

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
por: Chaitin, Gregory J.
Publicado: (2007)

Advances in Contemporary Logic and Computer Science
por: Carnielli, Walter A.
Publicado: (1999)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
por: Goncharov, S. S.
Publicado: (2006)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Logic Colloquium 2007 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology /
Publicado: (2009)

Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005)

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

Twenty Five Years of Constructive Type Theory.
por: Sambin, Giovanni
Publicado: (1998)

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_b7caps3dccqd1sekko2ctcle7d