Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997

Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Moggi, Eugenio (Επιμελητής έκδοσης), Rosolini, Giuseppe (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer 1997
Σειρά:	Lecture notes in computer science 1290
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά Λογική, Συμβολική και μαθηματική

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

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)

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

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

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

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

Στοιχεία διακριτών μαθηματικών
ανά: 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)

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)

Cut elimination in categories
ανά: Dosen, Kosta
Έκδοση: (1999)

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

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

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

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

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

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

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

Sets, logic and categories /
ανά: Cameron, Peter J. 1947- (Peter Jephson)
Έκδοση: (1999)

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

Computability and unsolvability
ανά: Davis, Martin, 1928-
Έκδοση: (1982)

Logiques, ensembles, categories le point de vue constructif
ανά: Ageron, Pierre
Έκδοση: (2000)

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

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Έκδοση: (1992)

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

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

A guide to classical and modern model theory
ανά: Marcja, A. ((Annalisa)), κ.ά.
Έκδοση: (2003)

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

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

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

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

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

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

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