[Back]


Talks and Poster Presentations (without Proceedings-Entry):
K. Hoder, L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Talk: 23rd International Conference on Automated Deduction (CADE-23), Wroclaw, Poland; 2011-07-31 - 2011-08-05.

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