Talks and Poster Presentations (without Proceedings-Entry):
M. Rukhaia:
"CERES for Propositional Proof Schemata";
Talk: 2nd Workshop of the Joint Project,
Innsbruck;
2011-10-26
- 2011-10-28.
Created from the Publication Database of the Vienna University of Technology.