Programming Logics: Essays in Memory of Harald Ganzinger by Andrei Voronkov (Eng
67,24 €
Harald Ganzinger's Legacy: Contributions to Logics and Programming. - Bio-Logics: Logical Analysis of Bioregulatory Networks. - Canonical Ground Horn Theories. - Generic Functional Representation of Sorted Trees Supporting Attribution (Haskell Can Do It).
Jetzt bei Ebay:
