Μετάβαση στο περιεχόμενο
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησης
του Πανεπιστημίου Πειραιώς
Σύνθετη
  • 0 τεκμήρια
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση: "Logic, Symbolic and mathematical"
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Logic, Symbolic and mathematical 26 Mathematics 4 Philosophy 3
Λογική, Συμβολική και μαθηματική 3 Algebra, Abstract 2 Artificial intelligence 2
περισσότερα ...
Combinatorial analysis 2 Computational complexity 2 Computer science 2
Decision support systems 2 Formal languages 2 Machine theory 2
Programming languages (Electronic computers) 2 Semantics 2 Μαθηματικά 2
Σπουδή και διδασκαλία (Ανώτατη) 2 Συνδυαστική ανάλυση 2 'Αλγεβρα 1
Addresses, essays, lectures 1 Automatic theorem proving 1 Automation 1
Business mathematics 1 Closure Spaces 1 Combinational analysis 1
Comic books, strips, etc 1 Commonsense reasoning 1 Computer algorithms 1
Congresses 1 Data processing 1 Decision making 1
λιγότερα ...
Εμφανίζονται 1 - 20 από 27 για την αναζήτηση: '"Logic, Symbolic and mathematical"', χρόνος αναζήτησης: 0,31δλ
Εξώφυλλο
Foundations of mathematical logic/
από Curry, Haskell B., 1900-
Στοιχεία έκδοσης 1977
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic and knowledge : essays 1901-1950 /
από Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης 1971
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic, sets, and recursion /
από Causey, Robert L.
Στοιχεία έκδοσης 2001
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Handbook of mathematical logic /
Στοιχεία έκδοσης 1977
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Mathematical logic /
από Chiswell, Ian, 1948-
Στοιχεία έκδοσης 2007
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Βιβλίο
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Mathematical logic
από Turing, Alan Mathison, 1912-1954.
Στοιχεία έκδοσης 2001
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Incosistent mathematicics /
από Mortensen, Chris.
Στοιχεία έκδοσης 1995
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Closure spaces and logic /
από Martin, Norman M.
Στοιχεία έκδοσης 1996
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic for applications /
από Nerode, Anil.
Στοιχεία έκδοσης 1997
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Temporal Logic of Programs /
Στοιχεία έκδοσης 1987
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Schaum's outline of theory and problems of discrete mathematics /
από Lipschutz, Seymour.
Στοιχεία έκδοσης 1976
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Elements of the theory of computation /
από Lewis, Harry R.
Στοιχεία έκδοσης 1981
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Logic-based decision support : mixed integer model formulation /
από Jeroslow, Robert G., 1942-
Στοιχεία έκδοσης 1989
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Analysis and decision making in uncertain systems /
από Bubnicki, Zdzislaw.
Στοιχεία έκδοσης 2004
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
The logic of partial information /
από Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης 1995
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Στοιχεία θεωρίας υπολογισμού /
από Lewis, Harry R.
Στοιχεία έκδοσης 2005
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Symbolic logic and mechanical theorem proving /
από Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης 1987
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Essays in memory of Imre Lakatos /
Στοιχεία έκδοσης 1976
Θέματα: '; “...Logic Symbolic and mathematical Addresses, essays, lectures...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Truth, deduction, and computation : logic and semantics for computer science /
από Davis, R.E.
Στοιχεία έκδοσης 1989
Θέματα: '; “...Logic, Symbolic and mathematical...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Commonsense reasoning
από Mueller, Erik T.
Στοιχεία έκδοσης 2006
Θέματα: '; “...Logic, Symbolic and mathematical Data processing...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
  • 1
  • 2
  • Επόμενα »
  • [2]
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης

Περιορισμός αναζήτησης

Συλλογή
26 Κατάλογος Βιβλιοθήκης 1 Αποθετήριο Κάλλιπος
Μορφή
25 Book 2 Electronic
Συγγραφέας
2 Lewis, Harry R. 2 Lipschutz, Seymour 1 Bubnicki, Zdzislaw 1 Causey, Robert L. 1 Chang, Chin-Liang, 1937- 1 Chiswell, Ian, 1948- περισσότερα ... 1 Curry, Haskell B., 1900- 1 Davis, R.E. 1 Jeroslow, Robert G., 1942- 1 Martin, Norman M. 1 Mortensen, Chris 1 Mueller, Erik T. 1 Nait Abdallah, Areski, 1950- 1 Nerode, Anil 1 Russell, Bertrand, 1872-1970 1 Turing, Alan Mathison, 1912-1954 1 Wittgenstein, Ludwig, 1889-1951 1 Δοξιάδης, Απόστολος Κ., 1953- 1 Θεοδώρου, Γιάννης Α 1 Καβουσανός, Εμμανουήλ Γ 1 Στεφανέας, Πέτρος λιγότερα ...
Ταξινομικός #
15 500 - Science 5 000 - Computer science, information & general works 2 100 - Philosophy & psychology 2 600 - Technology 1 700 - Arts & recreation
Γλώσσα
21 English 6 Greek
Είδος
2 Electronic books
Έτος έκδοσης

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
Library of UniPi
Βιβλιοθήκη Πανεπιστημίου Πειραιώς
Ιστοσελίδα της Βιβλιοθήκης
Επικοινωνήστε μαζί μας
H Υπηρεσία Ενοποιημένης Αναζήτησης δημιουργήθηκε στο πλαίσιο του Υποέργου 4 «Προμήθειες Εξοπλισμού Λογισμικού» της πράξης «Ψηφιακές υπηρεσίες ανοιχτής πρόσβασης της βιβλιοθήκης του Πανεπιστημίου Πειραιώς» με κωδικό ΟΠΣ «304169», του Επιχειρησιακού Προγράμματος "Ψηφιακή Σύγκλιση"

Φορτώνει......