Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Logic and structure /
ανά: Dalen, D. van (Dirk), 1932-
Έκδοση: (2004)

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

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

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

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

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

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

Computability, complexity, logic /
ανά: Börger, E. 1946- (Egon)
Έκδοση: (1989)

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

Logic, methodology and philosophy of science
Έκδοση: (1962)

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

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

Logic in computer science : modelling and reasoning about systems /
ανά: Huth, Michael, 1962-
Έκδοση: (2004)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Έκδοση: (1977)

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

Logic and algebra /
Έκδοση: (2002)

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