Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"First-order theorem proving and Vampire";
Talk: RiSE-PUMA Workshop,
Traunkirchen, Austria;
2011-10-01
- 2011-10-07.
Created from the Publication Database of the Vienna University of Technology.