Semantics and logics of computation

Semantics and logics of computation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης), Dybjer, Peter (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Cambridge University Press 1997
Σειρά:	Publications of the Newton Institute 14
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά

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

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

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

Compiling natural semantics
ανά: Pettersson, Mikael
Έκδοση: (1999)

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

Bounded arithmetic, propositional logic, and complexity theory /
ανά: Krajicek, Jan
Έκδοση: (1995)

Computer science mathematics
ανά: Spencer, Donald D.
Έκδοση: (1976)

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

Basic caterogy theory for computer scientistis
ανά: Pierce, Benjamin C.
Έκδοση: (1991)

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

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

Discrete mathematics for computer science
ανά: Haggard, Gary
Έκδοση: (2006)

Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing Chicago, Illinois, May 2-4, 1988
Έκδοση: (1988)

Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing Providence, Rhode Island, May 6-8, 1985
Έκδοση: (1985)

Syntax-directed semantics formal models based on tree transducers
ανά: Fulop, Zoltan
Έκδοση: (1998)

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

Discrete structures : an introduction to mathematics for computer science /
ανά: Norris, Fletcher R., 1934-
Έκδοση: (1985)

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

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

Computer arithmetic systems algorithms, architecture and implementation
ανά: Omondi, Amos R.
Έκδοση: (1994)

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

Concrete mathematics : a foundation for computer science /
ανά: Graham, Ronald L., 1935-
Έκδοση: (1994)

Number theory for computing
ανά: Yan, Song Y.
Έκδοση: (2000)

Proceedings of the Nineteenth Annual ACM Symposium New York City, May 25-27, 1987
Έκδοση: (1987)

Complexity theory retrospective in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
ανά: Selman, Alan L.
Έκδοση: (1990)

A beginners guide to discrete mathematics
ανά: Wallis, W. D.
Έκδοση: (2003)

Discrete mathematics : elementary and beyond /
ανά: Lovasz, Laszlo 1948-
Έκδοση: (2003)

Perspectives on enclosure methods
Έκδοση: (2001)

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

Proceedings of the Twenty First Annual ACM Symposium Seattle, Washington May 15-17, 1989
Έκδοση: (1989)

Διακριτά μαθηματικά : τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (2003)

Επίλυση προβλημάτων στα διακριτά μαθηματικά
ανά: Χριστόπουλος, Κωνσταντίνος

Διακριτά μαθηματικά : Τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1992)

Διακριτά μαθηματικά : τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (2008)

Διακριτά μαθηματικά και εφαρμογές τους /
ανά: Rosen, Kenneth H.
Έκδοση: (2019)

Διακριτά μαθηματικά
ανά: Παναγιωτόπουλος, Αντώνιος Χ.
Έκδοση: (1999)

Διακριτά μαθηματικά με εφαρμογές /
ανά: Epp, Susanna S.
Έκδοση: (2010)

Διακριτά μαθηματικά και εφαρμογές /
ανά: Rosen, Kenneth H.
Έκδοση: (2015)

Διακριτά μαθηματικά : βασικές αρχές /
ανά: Hunter, David James, 1968-
Έκδοση: (2019)

Combinatorics for computer sciences
ανά: Williamson, S. Gill
Έκδοση: (2002)

Linear algebra with computer applications
ανά: Rothenberg, Ronald I.
Έκδοση: (1983)

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