Redl, Christoph
Full name Familienname, Vorname
Redl, Christoph
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Redl, Christoph | Answer set programming with external sources; algorithms and efficient evaluation | Thesis Hochschulschrift | 2014 |
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Leutgöb, Alexander | Development of a build system for cross-platform open-source projects | Thesis Hochschulschrift | 2016 |