| Alkuperäiskieli | englanti |
|---|---|
| Tila | Julkaistu - 6 heinäk. 2018 |
| OKM-julkaisutyyppi | I2 Tieto- ja viestintätekniset sovellukset |
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks
Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen