Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Σταυρόπουλος, Ηλίας Χ.', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4
    Βιβλίο
  2. 2
    The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03
    Βιβλίο
  3. 3
    On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
    Βιβλίο
  4. 4
    A new algorith for the transversal hypergraph problem. CTI TR 99/03/03
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Σταυρόπουλος, Ηλίας Χ.…”
    Βιβλίο
  5. 5
    Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Σταυρόπουλος, Ηλίας Χ.…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email