Βελτιώστε την αναζήτησή σας

Η αναζήτηση επέστρεψε 350 αποτελέσματα.

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
121.
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt. από
  • Hermes, Hans [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1973
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HER. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HER.
Προσθήκη στο καλάθι
122.
Self-reference and modal logic / C. Smoryński. από
  • Smorynski, C [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMO.
Προσθήκη στο καλάθι
123.
Fuzzy sets and fuzzy logic : theory and applications / George J. Klir and Bo Yuan. από
  • Klir, George J, 1932- [συγγραφέας]
  • Yuan, Bo [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New Delhi : Prentice Hall of India, 1995 [reprinted 2004]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 KLI. Φιλοσοφίας (1)Ταξιθετικός αριθμός: 511.322 KLI.
Προσθήκη στο καλάθι
124.
Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos...[et al.]. από
  • Galatos Nikolaos [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 151.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 2007
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.33 GAL.
Προσθήκη στο καλάθι
125.
The nuts and bolts of proofs Antonella Cupillari από
  • Cupillari, Antonella [aut]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: San Diego Academic Press 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CUP.
Προσθήκη στο καλάθι
126.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων Γριβοκοκωστοπούλου Φωτεινής; Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικού ; Πανεπιστήμιο Πατρών, Τμήμα Μηχανικών Η/Υ & Πληροφορικής από
  • Γριβοκωστοπούλου, Φωτεινή
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2009
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΓΡΙ.
Προσθήκη στο καλάθι
127.
Elementary induction on abstract structures Yiannis N. Moschovakis από
  • Moschovakis, Yiannis
Σειρά: Dover books on mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Mineola, N.Y. Dover Publications, Inc. 2008
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MOS.
Προσθήκη στο καλάθι
128.
Mathematical logic / Joseph R. Shoenfield από
  • Shoenfield, Joseph R., (Joseph Robert), 1927- [συγγραφέας]
Σειρά: Addison-Wesley series in logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Reading : Addison-Wesley, 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SHO.
Προσθήκη στο καλάθι
129.
Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; απόδοση στα ελληνικά Χρήστος Καπούτσης ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος. από
  • Sipser, Michael [συγγραφέας.]
  • Καπούτσης, Χρήστος [μεταφραστής]
  • Γεωργακόπουλος, Γεώργιος [επιμελητής]
Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (52)Ταξιθετικός αριθμός: 511.35 SIP, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.35 SIP.
Προσθήκη στο καλάθι
130.
Logic as algebra / Paul Halmos, Steven Givant. από
  • Halmos, Paul R. (Paul Richard), 1916-2006 [συγγραφέας]
  • Givant, Steven R [συγγραφέας]
Σειρά: The Dolciani mathematical expositions ; v. 21
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: [Washington, D.C.] : Mathematical Association of America, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 HAL. Φιλοσοφίας (2)Ταξιθετικός αριθμός: 511.3 HAL, ...
Προσθήκη στο καλάθι
131.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Μαθηματικές θεμελιώσεις της θεωρίας υπολογισμού / Μωυσής Μπουντουρίδης, Όμηρος Ράγγος από
  • Μπουντουρίδης, Μωυσής Α [συγγραφέας]
  • Ράγγος, Όμηρος [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Πάτρα : Πανεπιστήμιο Πατρών, 2015
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΜΠΟ.
Προσθήκη στο καλάθι
132.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Νέες μέθοδοι εκμάθησης για ασαφή γνωστικά δίκτυα και εφαρμογές στην ιατρική και βιομηχανία Ελπινίκης Ι. Παπαγεωργίου ; Πανεπιστήμιο Πατρών, Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών από
  • Παπαγεωργίου, Ελπινίκη Ι
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2004
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.3 ΠΑΠ , ...
Προσθήκη στο καλάθι
133.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Ασαφή δίκτυα Petri του Χαρίλαου Κ. Κυρίτση από
  • Κυρίτσης, Χαρίλαος
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: [Χ.τ.] [χ.ό.] 2008
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΚΥΡ.
Προσθήκη στο καλάθι
134.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P Κεραμυδάς Ελευθέριος ; Πανεπιστήμιο Πατρών από
  • Κεραμύδας, Ελευθέριος
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2004
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΚΕΡ .
Προσθήκη στο καλάθι
135.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Contributions to non-standard analysis / edited by W. A. J. Luxemburg and A. Robinson. από
  • Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)
  • Luxemburg, W. A. J, 1929- [επιμελητής.]
  • Robinson, Abraham, 1918-1974 [επιμελητής.]
Σειρά: Studies in logic and the foundations of mathematics ; 69.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1972
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 515 SYM.
Προσθήκη στο καλάθι
136.
A treatise on many-valued logics Siegfried Gottwald από
  • Gottwald, Siegfried
Σειρά: Studies in logic and computation ; 9
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Baldock Research Studies Press Ltd. 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 511.3 GOT.
Προσθήκη στο καλάθι
137.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
The language of logic by Hans Freudenthal από
  • Freudenthal, Hans, 1905-
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier Publishing Company 1966
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 FRE, ...
Προσθήκη στο καλάθι
138.
Introduction to mathematical proofs a transition Charles E. Roberts, Jr. από
  • Roberts, Charles E
Σειρά: Textbooks in mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boca Raton CRC Press 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.36 ROB.
Προσθήκη στο καλάθι
139.
Computational complexity a modern approach Sanjeev Arora, Boaz Barak από
  • Arora, Sanjeev [aut]
  • Barak, Boaz [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge, NY Cambridge University Press 2009
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ARO.
Προσθήκη στο καλάθι
140.
Problem solving in automata, languages, and complexity [electronic resource] Ding-Zhu Du, Ker-I Ko από
  • Du, Dingzhu
  • Ko, Ker-I
  • John Wiley & Sons
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Wiley c2001
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DU.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud