Showing 1 - 2 results of 2 for search '"program synthesis"', am an iarratais: 0.03s Refine Results
  1. 1
    Efficiency in program synthesis
    le Kant, Elaine
    Foilsithe 1981
    Ábhair: “... Electronic data procressing Digital systems digital machines Efficiency in program synthesis programme...”
    Printed Book
  2. 2
    Adapting proofs-as-program: the curry-howard protocol
    le Poernomo, Iman Hafiz
    Foilsithe 2005
    Ábhair: “... calculus Abstract data Programming-synthesis...”
    Printed Book
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost