Talks and Poster Presentations (with Proceedings-Entry):

C. Fermüller, R. Pichler:
"Model Representation via Contexts and Implicit Generalizations";
Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423.

Online library catalogue of the TU Vienna:

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