Ihr Suchergebnis

Home | Suche | Browsen

Nr. Titel Autor Jahr
1 Existential quantifiers in the rule body Cabalar, Pedro 2010
2 Kato: a plagiarism-detection tool for answer-set programs Oetsch, Johannes et al. 2010
3 xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP Gebser, Martin et al. 2010
Aktuelle Seite:
Anzahl der Ergebnisseiten: 1
Anzahl der Dokumente: 3


Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk