Cargando…

An introduction to default logic

Detalles Bibliográficos
Autor principal:	Besnard, Philippe
Lenguaje:	eng
Publicado:	Springer 1989
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/205389

Ejemplares similares

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1987)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

An introduction to mathematical logic
por: Robison, Gerson B
Publicado: (1969)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

Adaptive logics for defeasible reasoning: applications in argumentation, normative reasoning and default reasoning
por: Straßer, Christian
Publicado: (2014)

An algebraic introduction to mathematical logic
por: Barnes, Donald W, et al.
Publicado: (1975)

A Logical Introduction to Proof
por: Cunningham, Daniel W
Publicado: (2012)

An introduction to Hilbert space and quantum logic
por: Cohen, David W
Publicado: (1989)

A concise introduction to mathematical logic
por: Rautenberg, Wolfgang
Publicado: (2006)

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

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang
Publicado: (2010)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

Introduction to fuzzy logic applications in intelligent systems
por: Mitchell, Tom, et al.
Publicado: (1992)

Sets, functions, and logic: an introduction to abstract mathematics
por: Devlin, Keith
Publicado: (2003)

Fuzzy logic models and fuzzy control: an introduction
por: Hooda, DS, et al.
Publicado: (2016)

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

Kripke’s worlds: an introduction to modal logics via tableaux
por: Gasquet, Olivier, et al.
Publicado: (2014)

Mathematical Logic and Model Theory: A Brief Introduction
por: Prestel, Alexander, et al.
Publicado: (2011)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

Sheaves in geometry and logic: a first introduction to topos theory
por: MacLane, Saunders, et al.
Publicado: (1992)

A course in model theory: an introduction to contemporary mathematical logic
por: Poizat, Bruno
Publicado: (2000)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

Hilbert's tenth problem: an introduction to logic, number theory, and computability
por: Murty, M Ram, et al.
Publicado: (2019)

Introduction to mathematical logic: set theory computable functions model theory
por: Malitz, Jerome
Publicado: (1979)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Logic Meeting
por: Shinoda, Juichi, et al.
Publicado: (1989)

Algebraizable logics
por: Blok, WJ, et al.
Publicado: (1989)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_ifdagp9fohn02a4i3uclnloaei