Online Proceedings - WLP 2006

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Online Proceedings - WLP 2006
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental ResultsKonferenzbeitrag Inproceedings 2006