[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 || First-Order Theorem Proving and Vampire
Sharygina, Natasha, Veith, HelmutVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-642-39799-8_1
File:
PDF, 436 KB
english, 2013