Modular Answer Set Programming as a Formal Specification Language
- Cabalar, P.
- Fandinno, J.
- Lierler, Y.
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2020
Volume: 20
Número: 5
Páxinas: 767-782
Tipo: Achega congreso
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2020
Volume: 20
Número: 5
Páxinas: 767-782
Tipo: Achega congreso