Automated model building /

Na minha lista:

Detalhes bibliográficos
Principais autores:	Caferra, Ricardo., Leitsch, Alexander, Peltier, Nicholas.
Formato:	Livro
Publicado em:
Assuntos:	Demonstração automática de teoremas. Lógica simbólica e matemática.
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/134803
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Automated deduction in classical and non-classical logics : selected papers /
por: Caferra, Ricardo,, et al.
Publicado em: (2022)

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
por: McRobbie, M. A., et al.
Publicado em: (2022)

Automated theorem proving : theory and practice /
por: Newborn, Monty.
Publicado em: (2022)

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /
por: Grundy, Jim,, et al.
Publicado em: (2022)

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

Automated theorem proving in software engineering /
por: Schumann, Johann M.,
Publicado em: (2022)

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
por: Basin, David, et al.
Publicado em: (2022)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12/15, 2008 : proceedings /
por: Armando, Alessandro., et al.
Publicado em: (2022)

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
por: Bertot, Yves, et al.
Publicado em: (2022)

Logical environments /
por: Huet, Gerard., et al.
Publicado em: (2022)

Inteligência artificial /
por: Winston, Patrick Henry., et al.
Publicado em: (2022)

Logical frameworks /
por: Huet, Gâerard., et al.
Publicado em: (2022)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
por: LPAR (Conference) (11th : 2005 : Montevideo, Uruguay)., et al.
Publicado em: (2022)

Isabelle : a generic theorem prover /
por: Paulson, Lawrence C.
Publicado em: (2022)

Building models by games /
por: Hodges, Wilfrid
Publicado em: (2022)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
por: Miculan, Marino., et al.
Publicado em: (2022)

Automated reasoning and its applications : essays in honor of Larry Wos /
por: Wos, Larry., et al.
Publicado em: (2022)

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

On formally undecidable propositions of principia mathematica and related systems /
por: Godel, Kurt,
Publicado em: (2022)

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

The incompleteness phenomenon : a new course in mathematical logic /
por: Goldstern, Martin., et al.
Publicado em: (2022)

Godel's incompleteness theorems /
por: Smullyan, Raymond M.,
Publicado em: (2022)

Gödel's way : exploits into an undecidable world /
por: Chaitin, Gregory J., et al.
Publicado em: (2022)

Applied proof theory : proof interpretations and their use in mathematics /
por: Kohlenbach, U.
Publicado em: (2022)

An introduction to Gödel's Theorems /
por: Smith, Peter
Publicado em: (2022)

Aspects of incompleteness /
por: Lindström, Per,
Publicado em: (2022)

Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
por: Chaitin, Gregory J.
Publicado em: (2022)

Models and ultraproducts : an introduction /
por: Bell, J. L., et al.
Publicado em: (2022)

Models and ultraproducts : an introduction /
por: Bell, J. L., et al.
Publicado em: (2022)

Proofs of the Cantor-Bernstein theorem : a mathematical excursion /
por: Hinkis, Arie.
Publicado em: (2022)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
por: Siekmann, Jörg H., et al.
Publicado em: (2022)

Institution-independent Model Theory
por: Diaconescu, Rzvan., et al.
Publicado em: (2022)

What logics mean : from proof theory to model-theoretic semantics /
por: Garson, James W.,
Publicado em: (2022)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn.
Publicado em: (2022)

The P=NP question and Gödel's lost letter /
por: Lipton, Richard J.
Publicado em: (2022)

Logic, sets, and recursion /
por: Causey, Robert L.
Publicado em: (2022)

Mathematics, models, and modality : selected philosophical essays /
por: Burgess, John P.,
Publicado em: (2022)

Introduction to mathematical logic /
por: Church, Alonzo.
Publicado em: (2022)

Introduction to model theory /
por: Rothmaler, Philipp
Publicado em: (2022)

Basic model theory /
por: Doets, Kees
Publicado em: (2022)