Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016

Laura Kovács, Andrei Voronkov, editors, Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Volume 44 of EPiC Series in Computing, EasyChair, 2016. [doi]

Conference: cade2016

Editors

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google

Andrei Voronkov

This author has not been identified. It may be one of the following persons: Look up 'Andrei Voronkov' in Google