[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"First-Order Theorem Proving and Vampire";
Keynote Lecture: Spring School on Logic and Verification - LoVE, Vienna, Austria (invited); 2016-04-15 - 2016-04-17.

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