Μετάβαση στο περιεχόμενο
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησης
του Πανεπιστημίου Πειραιώς
Σύνθετη
  • 0 τεκμήρια
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση:
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Logic, Symbolic and mathematical Mathematics 4 Λογική, Συμβολική και μαθηματική 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 Philosophy 2
Programming languages (Electronic computers) 2 Semantics 2 Μαθηματικά 2
Σπουδή και διδασκαλία (Ανώτατη) 2 Συνδυαστική ανάλυση 2 'Αλγεβρα 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 Electronic data processing 1
λιγότερα ...
Εμφανίζονται 1 - 20 από 26 για την αναζήτηση: '', χρόνος αναζήτησης: 0,29δλ
Εξώφυλλο
Foundations of mathematical logic/
από Curry, Haskell B., 1900-
Στοιχεία έκδοσης 1977
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

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

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

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Διακριτά μαθηματικά και μαθηματική λογική /
Στοιχεία έκδοσης 2002
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

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

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

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

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

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

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

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

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
θεωρία και Προβλήματα στα διακριτά μαθηματικά /
από Lipschutz, Seymour.
Στοιχεία έκδοσης 2003
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Βιβλίο Φορτώνει......
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

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

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

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

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

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

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

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

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

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

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

Κατάργηση φίλτρων
Προτεινόμενα θέματα: Logic, Symbolic and mathematical
Συλλογή
25 Κατάλογος Βιβλιοθήκης 1 Αποθετήριο Κάλλιπος
Μορφή
24 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 Στεφανέας, Πέτρος λιγότερα ...
Ταξινομικός #
14 500 - Science 5 000 - Computer science, information & general works 2 100 - Philosophy & psychology 2 600 - Technology 1 700 - Arts & recreation
Γλώσσα
20 English 6 Greek
Είδος
2 Electronic books
Έτος έκδοσης

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

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

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

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

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

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

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