Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Gurevich, Yuri', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Βιβλίο
  3. 3
    Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Βιβλίο
  4. 4
    The classical decision problem /
    ανά Boerger, Egon, 1946-
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Βιβλίο
  5. 5
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
    Άλλοι συγγραφείς: “…Gurevich, Yuri…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email