Στοιχεία διακριτών μαθηματικών /

Στοιχεία διακριτών μαθηματικών /

Εμφάνιση άλλων εκδόσεων (6)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Liu, C. L. 1934- (Chung Laung) (συγγραφέας)
Άλλοι συγγραφείς:	Μπους, Κωνσταντίνος (μεταφραστής), Γραμμένος, Δημήτριος (μεταφραστής), Φειδάς, Αθανάσιος Δ. (επιμελητής), Λαυρέντζος, Αναστάσιος (επιμελητής)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2012.
Σειρά:	Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης)
Θέματα:	Λογική, Συμβολική και μαθηματική Επιστήμη των υπολογιστών > Μαθηματικά

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

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

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

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

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

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

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

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

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

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

Logic and discrete mathematics a computer science perspective
ανά: Grassmann, Winfried Karl
Έκδοση: (1996)

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

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

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

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

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

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

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

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

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

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

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

Τα θεμέλια των μαθηματικών /
ανά: Stewart, Ian, 1945-
Έκδοση: (2020)

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

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

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

Στοιχεία θεωρίας υπολογισμού /
ανά: Lewis, Harry R.
Έκδοση: (1990)

Στοιχεία μαθηματικής λογικής
ανά: Τζουβάρας, Αθανάσιος
Έκδοση: (1992)

Στοιχεία θεωρίας υπολογισμού
ανά: Lewis, Harry R.
Έκδοση: (2005)

Στοιχεία μαθηματικής λογικής /
ανά: Τζουβάρας, Αθανάσιος
Έκδοση: (1998)

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

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

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

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

Four colours suffice how the map problem was solved
ανά: Wilson, Robin J.
Έκδοση: (2002)

Continuous model theory /
ανά: Chang, Chen Chung, 1927-
Έκδοση: (1966)

Εισαγωγή στην υπολογιστική
ανά: Τουρλάκης, Γιώργος
Έκδοση: (1994)

Proofs and refutations the logic of mathematical discovery
ανά: Lakatos, Imre
Έκδοση: (1981)

A formalization of set theory without variables
ανά: Tarski, Alfred
Έκδοση: (1987)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
ανά: Gödel, Kurt
Έκδοση: (1940)

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

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