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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
121.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
The elements of mathematical logic Paul C. Rosenbloom από
  • Rosenbloom, Paul C
Σειρά: Dover Series in Mathematics and Physics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: [United States of America] Dover Pudlications 1950
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ROS.
Προσθήκη στο καλάθι
122.
Representing discourse in context J. van Eijck and H. Kamp από
  • Eijck, J. van (Jan)
  • Kamp, Hans
Σειρά: Computational linguistics ; 1
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 401.5113 EIJ.
Προσθήκη στο καλάθι
123.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Δίκτυα Galois εισαγωγή, προσεγγίσεις και στατιστικές συνεπαγωγές Βλησίδου Άννα; Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικών από
  • Τράντα, Αντωνία Ζ
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2009
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.33 ΤΡΑ.
Προσθήκη στο καλάθι
124.
Change, choice and inference a study of belief revision and nonmonotonic reasoning Hans Rott από
  • Rott, Hans
Σειρά: Oxford logic guides ; 42
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Oxford Oxford University Press 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 121.6 ROT, ...
Προσθήκη στο καλάθι
125.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Truth and consequence in mediaeval logic / Ernest A. Moody. από
  • Moody, Ernest A. (Ernest Addison), 1903- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1953
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 160 MOO.
Προσθήκη στο καλάθι
126.
A textbook of belief dynamics theory change and database updating Sven Ove Hansson από
  • Hansson, Sven Ove, 1951-
Σειρά: Applied logic series ; 11
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic Publishers 1999
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.74 ΗΑΝ, ...
Προσθήκη στο καλάθι
127.
Proofs and refutations the logic of mathematical discovery by Imre Lakatos; edited by John Worrall and Elie Zahar από
  • Lakatos, Imre
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1976
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LAK.
Προσθήκη στο καλάθι
128.
Introduction to mathematical logic / Elliott Mendelson από
  • Mendelson, Elliott [συγγραφέας]
Έκδοση: 2d ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York : Van Nostrand, 1979
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MEN.
Προσθήκη στο καλάθι
129.
Wittgenstein's Tractatus a dialectical interpretation Matthew B. Ostrow από
  • Ostrow, Matthew B, 1961- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: WITT 190.090 34 OST.
Προσθήκη στο καλάθι
130.
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.
Προσθήκη στο καλάθι
131.
Wittgenstein and the end of philosophy neither theory nor therapy Daniel D. Hutto από
  • Hutto, Daniel D [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Hampshire Palgrave Macmilla 2006
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: WITT 190.090 34 HUT.
Προσθήκη στο καλάθι
132.
Self-reference and modal logic / C. Smoryński. από
  • Smorynski, C [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMO.
Προσθήκη στο καλάθι
133.
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.
Προσθήκη στο καλάθι
134.
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.
Προσθήκη στο καλάθι
135.
The nuts and bolts of proofs Antonella Cupillari από
  • Cupillari, Antonella [aut]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: San Diego Academic Press 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CUP.
Προσθήκη στο καλάθι
136.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων Γριβοκοκωστοπούλου Φωτεινής; Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικού ; Πανεπιστήμιο Πατρών, Τμήμα Μηχανικών Η/Υ & Πληροφορικής από
  • Γριβοκωστοπούλου, Φωτεινή
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών]
  • Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2009
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΓΡΙ.
Προσθήκη στο καλάθι
137.
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.
Προσθήκη στο καλάθι
138.
Mathematical logic / Joseph R. Shoenfield από
  • Shoenfield, Joseph R., (Joseph Robert), 1927- [συγγραφέας]
Σειρά: Addison-Wesley series in logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Reading : Addison-Wesley, 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SHO.
Προσθήκη στο καλάθι
139.
The search for certainty a philosophical account of foundations of mathematics M. Gianquinto από
  • Gianquinto, M. ((Marcus)) [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Oxford Clarendon Press 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 510.1 GIA.
Προσθήκη στο καλάθι
140.
Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; απόδοση στα ελληνικά Χρήστος Καπούτσης ; επιστημονική επιμέλεια Γεώργιος Φρ. Γεωργακόπουλος. από
  • Sipser, Michael [συγγραφέας.]
  • Καπούτσης, Χρήστος [μεταφραστής]
  • Γεωργακόπουλος, Γεώργιος [επιμελητής]
Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (52)Ταξιθετικός αριθμός: 511.35 SIP, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.35 SIP.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud