Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Ganzinger, H.', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
    Έκδοση 1986
    Άλλοι συγγραφείς: “…Ganzinger, H.…”
    Βιβλίο
  2. 2
    Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
    Άλλοι συγγραφείς: “…Ganzinger, H.…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email