µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Alkuperäiskielienglanti
TilaJulkaistu - 19 joulukuuta 2019
OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä