Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Theory and Practice of Logic Programming
Personen und Körperschaften: EITER, THOMAS, POLLERES, AXEL
In: Theory and Practice of Logic Programming, 6, 2006, 1-2, S. 23-60
Format: E-Article
Sprache: Englisch
veröffentlicht:
Cambridge University Press (CUP)
Schlagwörter: