Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"program synthesis"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Efficiency in program synthesis
    ανά Kant, Elaine
    Έκδοση 1981
    Θέματα: “... Electronic data procressing Digital systems digital machines Efficiency in program synthesis programme...”
    Printed Book
  2. 2
    Adapting proofs-as-program: the curry-howard protocol
    ανά Poernomo, Iman Hafiz
    Έκδοση 2005
    Θέματα: “... calculus Abstract data Programming-synthesis...”
    Printed Book
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email