First-Order Theorem Proving and Vampire

Laura Kovács, Andrei Voronkov

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Pages	1-35
Number of pages	35
DOIs	https://doi.org/10.1007/978-3-642-39799-8_1
Publication status	Published - 2013

Access to Document

@inproceedings{1effb5d94b48465c8f99c05135863831,

title = "First-Order Theorem Proving and Vampire",

author = "Laura Kov{\'a}cs and Andrei Voronkov",

year = "2013",

doi = "10.1007/978-3-642-39799-8_1",

language = "English",

pages = "1--35",

booktitle = "Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings",

}