Treffer: A first-order representation of stable models

Titel:

A first-order representation of stable models / Thomas Eiter ; James Lu ; V. S. Subrahmanian

Beteiligt:

Veröffentlicht:

Gießen : Inst. für Informatik, 1998

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Institut für Informatik (Gießen): IFIG research report ; 9805
alle Bände anzeigen

DOI:

10.22029/jlupub-7002

Zusatz-Informationen