k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Originalspråkengelska
StatusPublicerad - 6 jul 2018
MoE-publikationstypI2 ICT-programvara

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här