Carregant...

Codi QR

Logic for computer science and artificial intelligence

Dades bibliogràfiques
Autor principal:	Caferra, Ricardo
Format:	Printed Book
Idioma:	English
Publicat:	London ISTE 2011
Matèries:	Computer logic Artificial intelligence First order logic-predicate logic

Ítems similars

Artificial intelligence /
Publicat: (2009)

Logic and Philosophy : a modern introduction /
per: Hausman, Alan
Publicat: (2013)

Logical form, predication, and ontology /
Publicat: (1982)

Metalogic : an introduction to the metatheory of standard first order logic /
per: Hunter, Geoffrey
Publicat: (1971)

Artificial intelligence /
per: ELA Kumar
Publicat: (2008)

Handbook of logic in artificial intelligence and logic programming (v.2 : deduction methodologies )/
Publicat: (1996)

Independence - friendly logic :a game- theoretic approach
per: Allen L Mann
Publicat: (2011)

Predicate logic /
per: Pospesel, Howard
Publicat: (1976)

The logic of plurality /
per: Altham, J. E. J.
Publicat: (1971)

Independence-friendly logic : a game-theoretic approach /
per: Mann, Allen L., et al.
Publicat: (2011)

Fuzzy logic in artificial intelligence : IJCAI'97 Workshop, Nagoya, Japan, August 23-24, 1997, selected and invited papers /
Publicat: (1999)

Worlds, times, and selves /
per: Prior, A. N.
Publicat: (1977)

Completeness, cmpactness, and undecidability: an introduction to mathematical logic
per: Manaster, Alfred B
Publicat: (1975)

Introduction to artificial intelligence
per: Ertel, Wolfgang
Publicat: (2011)

Logics for computer science
per: Singh, Arindama
Publicat: (2004)

Design of logic-based intelligent systems
per: Truemper, Klaus
Publicat: (2004)

Completeness, compactness, and undecidability : an introduction to mathematical logic /
per: Manaster, Alfred B.
Publicat: (1975)

Logic and algorithms: with applications to the computer and information sciences
per: Korfhage, Robert R
Publicat: (1966)

Applications of fuzzy logic : towards high machine intelligence quotient systems /
Publicat: (1997)

The science of logic /
per: Hegel, Georg Wilhelm Friedrich
Publicat: (2010)

Fuzzy logic: intelligence, control, and information /
per: Yen, John .
Publicat: (1999)

Digital Logic and Computer Design /
per: Mano,Morris.M
Publicat: (1991)

The art and science of logic
per: Bonevac,Daniel
Publicat: (1990)

Introduction to logic
per: Joseph H W B
Publicat: (2009)

Introduction to Logic
per: Copi,Copi
Publicat: (1967)

Logic /
per: Tomassi, Paul
Publicat: (1999)

Logic /
per: Vatsyayan
Publicat: (1981)

Logic /
Publicat: (1972)

Logic /
per: Salmon, Wesley C.
Publicat: (1973)

Logic /
per: Salmon, Wesley C.
Publicat: (1984)

Logic /
per: Baronett,Stan
Publicat: (2009)

Logic
per: Salmon, Wesley C.
Publicat: (1973)

Logic
per: PRIYEDARSHI JETLI
Publicat: (2012)

Logic
per: Getmanova Alexandra
Publicat: (1989)

Simple theories and hyperimaginaries /
per: Casanovas, Enrique
Publicat: (2011)

Becoming logical: an introduction to logic
per: Churchill, Robert Paul
Publicat: (1988)

Logic : the essentials /
per: Manicas, Peter T.
Publicat: (1976)

Fuzzy sets and fuzzy logic: theory and applications
per: Klir, George J.
Publicat: (2002)

Logic in computer science: modelling and reasoning about systems/
per: Huth, Michael
Publicat: (2005)

Becoming logical : an introduction to logic /
per: Churchill, Robert Paul
Publicat: (1986)