Book title Buchtitel
Proceedings of CIC-06
 
Publisher Herausgeber
IEEE Computer Society
 

Publications Publikationen

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

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