| Originalspråk | engelska |
|---|---|
| Status | Publicerad - 6 juli 2018 |
| MoE-publikationstyp | I2 ICT-programvara |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks
Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig