1 result for 'dr ermini'

Sidebar Sidebar Sidebar
Did you mean: dr ermin Refine Search
  • Automatisierung von Terminierungsbeweisen Automatisierung von Terminierungsbeweisen
    Add to Cart The item has been added

    Automatisierung von Terminierungsbeweisen

    Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei­ sers, die sich im Erfinden einer Hypothese...
    $111.00

    Add to Cart The item has been added