Handbook of practical logic and automated reasoning

Handbook of practical logic and automated reasoning

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Harrison, J. (John) 1966-
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge ; New York : Cambridge University Press, 2011, c2009
Έκδοση:	1st ed., Repr.
Θέματα:	Computer logic.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Automated Reasoning :
από: Wos, Larry
Δημοσίευση: (1992)

Fuzzy sets, logics and reasoning about knowledge
Δημοσίευση: (1999)

Logic programming and nonmonotonic reasoning :
Δημοσίευση: (1997)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1993)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1991)

Automated Reasoning :
Δημοσίευση: (1992)

Handbook of logic in computer science
Δημοσίευση: (1992)

Handbook of Philosophical Logic
Δημοσίευση: (1983)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

Handbook of mathematical logic
Δημοσίευση: (1977)

Logic in computer science :
από: Huth, Michael 1962-
Δημοσίευση: (2004)

The rhetoric of reason :
από: Crosswhite, James
Δημοσίευση: (1996)

Nonmonotonic reasoning :
από: Brewka, Gerhard
Δημοσίευση: (1991)

Nonmonotonic reasoning :
από: Brewka, Gerhard
Δημοσίευση: (1997)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Logic, language and computation
Δημοσίευση: (1996)

The logic of programming
από: Hehner, Eric C. R.
Δημοσίευση: (1984)

Logic at work :
Δημοσίευση: (1999)

Temporal logic :
από: Gabbay, Dov M. 1945-
Δημοσίευση: (1994)

Temporal logic :
Δημοσίευση: (1994)

Logic and computer design fundamentals
από: Mano, M. Morris, 1927-
Δημοσίευση: (2000)

Algebraizable logics
από: Blok, W. J. 1947-
Δημοσίευση: (1989)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Buddhist logic
από: Shcherbatskoi, F. I. (Fedor Ippolitovich), 1866-1942
Δημοσίευση: (1962)

Handbook of quantum logic and quantum structures :
Δημοσίευση: (2007)

Logic for Mathematicians
από: Rosser, J. Barkley (John Barkley) 1907-
Δημοσίευση: (2008)

Deviant logic, fuzzy logic :
από: Haack, Susan
Δημοσίευση: (1996)

Non-monotonic reasoning :
από: Kukaszewicz, Witold
Δημοσίευση: (1990)

Logic primer
από: Allen, Colin
Δημοσίευση: (2001)

Philosophy of logics
από: Haack, Susan
Δημοσίευση: (1978)

Introduction to logic
από: Suppes, Patrick, 1922-2014
Δημοσίευση: (1957)

An introduction to logic
από: Mitchell, David, 1914-
Δημοσίευση: (1962)

Modern logic :
από: Thomas, Norman L.
Δημοσίευση: (1966)

Introduction to logic
από: Tarski, Alfred
Δημοσίευση: (1941)

Introduction to logic
από: Jason, Gary James, 1949-
Δημοσίευση: (1994)

Logic for mathematicians
από: Rosser, J. Barkley (John Barkley), 1907-1989
Δημοσίευση: (1953)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

Programming logic and design :
από: Farrell, Joyce
Δημοσίευση: (2007)

Logic programming and soft computing
Δημοσίευση: (1998)

Foundations of disjunctive logic programming
από: Lobo, Jorge
Δημοσίευση: (1992)