Topology via logic /

Topology via logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Vickers, Steven (συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge [England] New York Cambridge University Press 1996
Σειρά:	Cambridge tracts in theoretical computer science 5
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά Λογική Τοπολογία

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

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

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

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

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

Finite automata, formal logic, and circuit complexity /
ανά: Straubing, Howard, 1952-
Έκδοση: (1994)

Learning discrete mathematics with ISETL
ανά: Baxter Hastings, Nancy
Έκδοση: (1989)

Relations and graphs : discrete mathematics for computer scientists /
ανά: Schmidt, Gunther, 1939-
Έκδοση: (1993)

Comprehensive mathematics for computer scientists /
ανά: Mazzola, Guerino
Έκδοση: (2006)

The geometry of information retrieval /
ανά: Van Rijsbergen, C. J., 1943-
Έκδοση: (2004)

Διακριτά μαθηματικά και εφαρμογές : μια "διακριτική" εισαγωγή με εφαρμογές /
ανά: Scheinerman, Edward R.
Έκδοση: (2023)

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

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

Discrete mathematics and its applications /
ανά: Rosen, Kenneth H.
Έκδοση: (2013)

Discrete mathematics with algorithms /
ανά: Albertson, Michael O.
Έκδοση: (1988)

HERCMA 2003 : 6th Hellenic-European Conference Computer Mathematics and its Applications, September 25-27, 2003, Athens University of Economics and Business, Athens, Hellas /
Έκδοση: (2004)

Μαθηματικές δομές για την επιστήμη υπολογιστών : διακριτά μαθηματικά και εφαρμογές /
ανά: Gersting, Judith L.
Έκδοση: (2024)

Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3β5, 2003
ανά: Plewa, Tomasz
Έκδοση: (2005)

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

Στοιχεία της πιθανοτικής μεθόδου : μαθηματικές θεμελιώσεις της επιστήμης των υπολογιστών /
ανά: Νικολετσέας, Σωτήρης Ε.

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

Διακριτά μαθηματικά και θεωρία αριθμών με εφαρμογές /
ανά: Ρασσιάς, Μιχαήλ Θ.
Έκδοση: (2022)

Topics in topology
ανά: Csaszar, Akos

Topology for analysis
ανά: Wilansky, Albert
Έκδοση: (1983)

Randomness and completeness in computational complexity /
ανά: Melkebeek, Dieter Van
Έκδοση: (2000)

Discrete combinatorial mathematics : an applied introduction /
ανά: Grimaldi, Ralph P.
Έκδοση: (1989)

Grouping multidimensional data : recent advances in clustering /
Έκδοση: (2006)

Data streams : models and algorithms /
Έκδοση: (2007)

History of topology
Έκδοση: (1999)

Computational partial differential equations : numerical methods and Diffpack programming /
ανά: Langtangen, Hans Petter
Έκδοση: (1999)

Topology of manifolds proceedings
Έκδοση: (1970)

Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975 /
Έκδοση: (1976)

Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978 /
Έκδοση: (1979)

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

Set topology
ανά: Vaidyanathaswamy, R.
Έκδοση: (1999)

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

A Computational Differential Geometry Approach to Grid Generation
ανά: Liseikin, Vladimir D.
Έκδοση: (2007)

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18β22, 2005, in Turin, Italy
ανά: Ceragioli, F.
Έκδοση: (2006)

Computational Methods in Biometric Authentication Statistical Methods for Performance Evaluation
ανά: Schuckers, Michael E
Έκδοση: (2010)

Alternative logics do sciences need them?
Έκδοση: (2004)

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

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