[Zurück]

@inproceedings{TUW-140545,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming},
    booktitle = {Proceedings},
    year = {2006},
    note = {Vortrag: ICLP'06 Workshop: Lash'06, Seattle, Washington; 2006-08-16}
}



Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.