Normalization and Rewriting for Answer Set Programming and Optimization

Julkaisun otsikon käännös: Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus

Jori Bomanson

Tutkimustuotos: Doctoral Thesis › Collection of Articles

Hakutulokset