Logic and discrete mathematics a computer science perspective

Logic and discrete mathematics a computer science perspective

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Grassmann, Winfried Karl
Άλλοι συγγραφείς:	Tremblay, Jean-Paul
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Upper Saddle River, NJ Prentice Hall International 1996
Θέματα:	Λογική, Συμβολική και μαθηματική Επιστήμη των υπολογιστών > Μαθηματικά

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

Discrete mathematics mathematical reasoning and proof with puzzles, patterns and games
ανά: Ensley, Douglas E.
Έκδοση: (2006)

Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001)

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997)

Handbook of logic in computer science /
Έκδοση: (1992)

Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997
Έκδοση: (1997)

Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2012)

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (1999)

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2014)

Στοιχεία διακριτών μαθηματικών
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2009)

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2010)

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2004)

Domains and lambda-calculi
ανά: Amadio, Roberto M.
Έκδοση: (1998)

Computational logic /
Έκδοση: (1999)

Logic of computation /
Έκδοση: (1997)

Logic and algebra of specification /
Έκδοση: (1993)

Διακριτά μαθηματικά με εφαρμογές /
Έκδοση: (2024)

A first course in fuzzy logic
ανά: Nguyen, Hung T. 1944-, κ.ά.
Έκδοση: (1997)

Logic and information flow /
Έκδοση: (1994)

A first course in fuzzy logic
ανά: Nguyen, Hung T. 1944-
Έκδοση: (1997)

Logic for computer science
ανά: Reeves, Steve, κ.ά.
Έκδοση: (1990)

Νέες μέθοδοι εκμάθησης για ασαφή γνωστικά δίκτυα και εφαρμογές στην ιατρική και βιομηχανία
ανά: Παπαγεωργίου, Ελπινίκη Ι.
Έκδοση: (2004)

Mathematical structures for computer science
ανά: Gersting, Judith L.
Έκδοση: (1999)

Computability and logic
ανά: Boolos, George S.
Έκδοση: (2002)

Logic for mathematics and computer science
ανά: Burris, Stanley N.
Έκδοση: (1998)

Mathematical logic /
ανά: Shoenfield, Joseph R., 1927- (Joseph Robert)
Έκδοση: (1967)

Mathematical logic /
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (1994)

Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967)

Mathematical logic /
ανά: Monk, J. Donald 1930- (James Donald)
Έκδοση: (1976)

Logic of mathematics a modern course of classical logic
ανά: Adamowicz, Zofia
Έκδοση: (1997)

Mathematical logic a course with exercises
ανά: Cori, Rene

Elements of logic and foundations of mathematics
ανά: Marek, Wictor V.
Έκδοση: (1982)

Discrete structures, logic and computability
ανά: Hein, James L.
Έκδοση: (2002)

Mathematical logic applications and theory
ανά: Rubin, Jean E.
Έκδοση: (1990)

Discrete mathematics
ανά: Hein, James L.
Έκδοση: (2003)

Discrete mathematics for computing
ανά: Haggarty, Rod
Έκδοση: (2002)

Topology via logic
ανά: Vickers, Steven
Έκδοση: (1996)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964)

Fundamentals of mathematical logic
ανά: Hinman, Peter G.
Έκδοση: (2005)

The elements of mathematical logic
ανά: Rosenbloom, Paul C.
Έκδοση: (1950)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών