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)
Έκδοση: (2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Αυτόματα γλώσσες γραμματικές /
ανά: Μποζαπαλίδης, Συμεών
Έκδοση: (2010)

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

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

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

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

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

Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965)

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

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

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

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

Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001)

Model-theoretic logics
Έκδοση: (1985)

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

Logic for physicists /
ανά: Pereyra, Nicolas A.
Έκδοση: (2018)

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

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
ανά: Keisler, H. Jerome
Έκδοση: (1971)

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

Foundations of abstract mathematics
ανά: Kurtz, David C.
Έκδοση: (1992)

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