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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936201
Created from the Publication Database of the Vienna University of Technology.