Beiträge in Tagungsbänden:
G. Reger, M. Suda:
"Incremental Solving with Vampire";
in: "Proceedings of the 4th Vampire Workshop",
53;
herausgegeben von: EasyChair;
EasyChair EPiC Series in Computing,
EasyChair,
2018,
12 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/6sjl
Elektronische Version der Publikation:
https://easychair.org/publications/paper/hCRF
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.