Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann, R. Ramanayake:
"Proof Theoretic Reasoning";
Talk: TRS Reasoning School, Nat@logic 2015,
Natal;
2015-08-31
- 2015-09-04.
Created from the Publication Database of the Vienna University of Technology.