Výsledky vyhledávání - "Automatic Programming—Program transformation General Terms Languages"

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Cost-Augmented Narrowing-Driven Specialization

    Autoři: Germán Vidal The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Germán Vidal The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf.

    Témata: I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Languages, Performance

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605; http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605
    http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    ABSTRACTS from other ACM Publications.

    Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

    Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: