Eintrag weiter verarbeiten
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
Gespeichert in:
Zeitschriftentitel: | Theory and Practice of Logic Programming |
---|---|
Personen und Körperschaften: | , |
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: |