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

Ταξινόμηση
Αποτελέσματα
1.
Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126) από
  • Droste, Manfred [edt]
  • Gurevich, Yuri [edt]
  • Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
2.
Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323) από
  • Droste, Manfred [edt]
  • Gurevich, Yuri [edt]
  • Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
3.
Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229) από
  • Börger, E. (Egon), 1946- [edt]
  • Gurevich, Yuri [edt]
  • Kleine-Buning, Hans [edt]
  • Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
4.
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich. από
  • Boerger, Egon, 1946- [συγγραφέας.]
  • Grädel, Erich, 1958- [συγγραφέας.]
  • Gurevich, Yuri [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOR.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud