Cover Image

Στοιχεία θεωρίας υπολογισμού /

Main Author:	Lewis, Harry R.
Other Authors:	Παπαδημητρίου, Χρίστος Χ.,, Αντωνιάδης, Παναγιώτης,, Σιδέρη, Μάρθα,
Format:	Book
Language:	Greek
Published:	Αθήνα: Εκδόσεις Κριτική, 2005.
Series:	Επιστημονική Βιβλιοθήκη
Subjects:	Logic, Symbolic and mathematical Computational complexity Formal languages Machine theory Mathematical analysis Mathematical statistics > Data processing Computer systems Υπολογιστικά συστήματα Μαθηματική στατιστική > Επεξεργασία δεδομένων Μαθηματική ανάλυση Υπολογιστική Λογική, Συμβολική και μαθηματική Επιστήμη των υπολογιστών > Μαθηματικά Τυπικές γλώσσες Υπολογιστική πολυπλοκότητα ΜΑΘΗΜΑΤΙΚΗ ΓΛΩΣΣΟΛΟΓΙΑ

Similar Items

Στοιχεία θεωρίας υπολογισμού /
by: Lewis, Harry R.
Published: (2005)

Στοιχεία θεωρίας υπολογισμού/
by: Παπαδημητρίου, Χρίστος Χ.
Published: (2003)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E.
Published: (2001)

Στοιχεία θεωρίας υπολογισμού/
by: Lewis, Harry R.
Published: (2005)

Computability, complexity, logic /
by: Borger, E.
Published: (1989)

Introduction to the theory of computation/
by: Sipser, Michael
Published: (2006)

A first course in logic: an introduction to model theory, proof theory, computability, and complexity/
by: Hedman, Shawn
Published: (2004)

Elements of symbolic logic/
by: Reichenbach, Hans, 1891-1953
Published: (1966)

What is mathematical logic?/
Published: (1975)

Εισαγωγή στη θεωρία υπολογισμού/
by: Sipser, Michael
Published: (2007)

The development of mathematical logic/
by: Nidditch, P. H.
Published: (1963)

An introduction to modern logic : An elementary textbook of symbolic logic /
by: Halberstadt, William H.
Published: (1960)

Topics in philosophical logic/
by: Rescher, Nicholas
Published: (1968)

Symbolic logic/
by: Copi, Irving M.
Published: (1979)

Handbook of logic and language/
Published: (2011)

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1976)

Κανόνες για την καθοδήγηση του πνεύματος= Regulae an directionem ingenii/
by: Descartes, Rene?, 1596-1650
Published: (1974)

Μαθηματική λογική /
by: Δημητρακόπουλος, Κωνσταντίνος.
Published: (2002)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθ.
Published: (1998)

Υπολογιστική φυσική/
Published: (1995)

Στοιχεία θεωρίας υπολογισμού/
by: Lewis, Harry R.
Published: (2005)

Στοιχεία μαθηματικής λογικής/
by: Τζουβάρας, Αθανάσιος
Published: (1992)

A survey of symbolic logic/
by: LEWIS, Clarence Irving, 1883-
Published: (1960)

Papers in philosophical logic/
by: LEWIS, David, 1941-
Published: (1998)

Elements of the theory of computation/
by: Lewis, Harry R.
Published: (1998)

A survey of symbolic logic
by: Lewis, Clarence Irving (1883-1964)
Published: (1918)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael.
Published: (2007)

A Mathematical introduction to logic/
by: Enderton, Herbert B.
Published: (2001)

Temporal logic: from ancient ideas to artificial intelligence/
by: OHRSTROM, Peter
Published: (1995)

Tractatus logico-philsophicus/
by: Wittgenstein, Ludwig, 1889-1951
Published: (1978)

Θεωρία υπολογισμού /
by: Χαλάτσης, Κωνσταντίνος.
Published: (2002)

Mathematical reasoning : Analogies,metaphors and images ; edited: Lyn D.Ehglish
by: English, Lyn D.
Published: (1997)

Η πυθαγόρειος αρμονική συμβολική
by: Haase, R.
Published: (1966)

The principles of science A treatise on logic and scientific method
by: Jevons, William Stanley (1835-1882)
Published: (1883)

Symbolic logic
by: Venn, John (1834-1923)
Published: (1881)

Θέματα ειδικών δεξιοτήτων λογικομαθηματικών και χωρικής αντίληψης
by: Κεΐσογλου, Στέφανος Ν.
Published: (2008)

Όπερ έδει δείξαι Η ομορφιά της μαθηματικής απόδειξης
by: Polster, Burkard
Published: (2009)

First-order functional calculus/
by: KEENE, Geoffrey Bourton
Published: (1966)

The elements of mathematical logic/
by: ROSENBLOOM, Paul C.
Published: (1950)

Topics in modern logic/
by: MAKINSON, D. C.
Published: (1973)

Cannot write session to /tmp/vufind_sessions/sess_aeb7132qa7mie0coe6draj6vo4