[Back]


Books and Book Editorships:
L. Kovacs, A. Voronkov:
"Vampire 2017. Proceedings of the 4th Vampire Workshop";
in series "Vampire 2017. Proceedings of the 4th Vampire Workshop", series editor: A. Voronkov; issued by: EasyChair; EasyChair EPiC Series in Computing, EasyChair, 2018.

Electronic version of the publication:
https://easychair.org/publications/volume/Vampire_2017

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