Treffer: Proof theory and algorithms for answer set programming

Titel:

Proof theory and algorithms for answer set programming / Martin Gebser. Betreuer: Torsten Schaub

Beteiligt:

Gebser, Martin

Veröffentlicht:

Potsdam : Universitätsbibliothek der Universität Potsdam, 2011

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Potsdam, Universität Potsdam, Diss., 2011

Zusatz-Informationen