Handbook of logic in computer science

Handbook of logic in computer science

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Abramsky, Samson 1953- (Επιμελητής έκδοσης), Gabbay, Dov M., 1945- (Επιμελητής έκδοσης), Maibaum, Thomas S. E., 1947- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Oxford ; New York : Clarendon Press ; Oxford University Press, 1992-
Θέματα:	Computer science. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Mathematical logic for computer science
από: Lu, Chung-wan
Δημοσίευση: (1989)

Mathematical Logic for Computer Science
από: Ben-Ari, M. 1948-
Δημοσίευση: (1993)

Logic for mathematics and computer science
από: Burris, Stanley
Δημοσίευση: (1998)

Logic of computation
Δημοσίευση: (1997)

Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987)

Logic and computer science :
από: Homer, S. (Steven)
Δημοσίευση: (1990)

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

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

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

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

What is a logical system?
Δημοσίευση: (1994)

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

Logical foundations of mathematics and computational complexity :
από: Pudlak, Pavel 1952-
Δημοσίευση: (2013)

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

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

Mathematical logic and computability
από: Keisler, H. Jerome
Δημοσίευση: (1996)

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

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

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

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

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

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

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (2004)

Logic of mathematics :
από: Adamowicz, Zofia
Δημοσίευση: (1997)

Systems of logic
από: Martin, Norman M.
Δημοσίευση: (1989)

Logic for Mathematicians
από: Hamilton, A. G. 1943-
Δημοσίευση: (1990)

Mathematical logic
από: Ponasse, Daniel
Δημοσίευση: (1973)

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (1994)

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

Logic with trees :
από: Howson, Colin
Δημοσίευση: (1997)

Mathematical logic
από: Ebbinghaus, Heinz-Dieter 1939-
Δημοσίευση: (1984)

Symbolic logic :
από: Lee, Harold N. (Harold Newton), 1899-1990
Δημοσίευση: (1961)

Mathematical logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1981)

Symbolic logic
από: Lewis, Clarence Irving, 1883-1964
Δημοσίευση: (1959)

The language of logic
από: Freudenthal, Hans, 1905-1990
Δημοσίευση: (1966)

Notes on logic
από: Lyndon, Roger C.
Δημοσίευση: (1966)

Mathematical logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1940)

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

Unified Logic :
από: Bollinger, Jesse
Δημοσίευση: (2018)

Temporal logic of programs
από: Kroger, Fred
Δημοσίευση: (1987)