Talks and Poster Presentations (with Proceedings-Entry):

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Related Projects:
Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung

Created from the Publication Database of the Vienna University of Technology.