[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs, A. Voronkov:
"First-order theorem proving and Vampire";
Talk: 10th Mexican International Conference on Artificial Intelligence (MICAI), Puebla, Mexico; 2011-11-26 - 2011-12-04.

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