Lanean...

QR Kodea

Logic for computer science and artificial intelligence

Xehetasun bibliografikoak
Egile nagusia:	Caferra, Ricardo
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	London ISTE 2011
Gaiak:	Computer logic Artificial intelligence First order logic-predicate logic

Antzeko izenburuak

Artificial intelligence /
Argitaratua: (2009)

Logic and Philosophy : a modern introduction /
nork: Hausman, Alan
Argitaratua: (2013)

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

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

Artificial intelligence /
nork: ELA Kumar
Argitaratua: (2008)

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

Independence - friendly logic :a game- theoretic approach
nork: Allen L Mann
Argitaratua: (2011)

Predicate logic /
nork: Pospesel, Howard
Argitaratua: (1976)

The logic of plurality /
nork: Altham, J. E. J.
Argitaratua: (1971)

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

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

Worlds, times, and selves /
nork: Prior, A. N.
Argitaratua: (1977)

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

Introduction to artificial intelligence
nork: Ertel, Wolfgang
Argitaratua: (2011)

Logics for computer science
nork: Singh, Arindama
Argitaratua: (2004)

Design of logic-based intelligent systems
nork: Truemper, Klaus
Argitaratua: (2004)

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

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

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

The science of logic /
nork: Hegel, Georg Wilhelm Friedrich
Argitaratua: (2010)

Fuzzy logic: intelligence, control, and information /
nork: Yen, John .
Argitaratua: (1999)

Digital Logic and Computer Design /
nork: Mano,Morris.M
Argitaratua: (1991)

The art and science of logic
nork: Bonevac,Daniel
Argitaratua: (1990)

Introduction to logic
nork: Joseph H W B
Argitaratua: (2009)

Introduction to Logic
nork: Copi,Copi
Argitaratua: (1967)

Logic /
nork: Tomassi, Paul
Argitaratua: (1999)

Logic /
nork: Vatsyayan
Argitaratua: (1981)

Logic /
Argitaratua: (1972)

Logic /
nork: Salmon, Wesley C.
Argitaratua: (1973)

Logic /
nork: Salmon, Wesley C.
Argitaratua: (1984)

Logic /
nork: Baronett,Stan
Argitaratua: (2009)

Logic
nork: Salmon, Wesley C.
Argitaratua: (1973)

Logic
nork: PRIYEDARSHI JETLI
Argitaratua: (2012)

Logic
nork: Getmanova Alexandra
Argitaratua: (1989)

Simple theories and hyperimaginaries /
nork: Casanovas, Enrique
Argitaratua: (2011)

Becoming logical: an introduction to logic
nork: Churchill, Robert Paul
Argitaratua: (1988)

Logic : the essentials /
nork: Manicas, Peter T.
Argitaratua: (1976)

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

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

Becoming logical : an introduction to logic /
nork: Churchill, Robert Paul
Argitaratua: (1986)