Logic for computer science

Logic for computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Reeves, Steve (Συγγραφέας), Clarke, Michael (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Wokingham Addison-Wesley Publishing Company 1990
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά Λογική

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

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

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

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)

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

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

Semantics and logics of computation
Έκδοση: (1997)

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

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

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

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)

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

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

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

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

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

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

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

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

Computational science for the 21st century
Έκδοση: (1997)

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)

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

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

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

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

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

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

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

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

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

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

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

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