[Back]


Books and Book Editorships:

L. Kovacs, A. Voronkov:
"Proceedings of the 1st and 2nd Vampire Workshops";
in series "Proceedings of the 1st and 2nd Vampire Workshops", series editor: L. Kovacs, A. Voronkov; issued by: EasyChair; EasyChair EPiC Series in Computing, 2016.


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