Sciweavers

45

Voted

CAV
2013
Springer

138views Hardware» more CAV 2013»

First-Order Theorem Proving and Vampire

11 years 11 months ago

First-Order Theorem Proving and Vampire

Download vprover.org

Laura Kovács, Andrei Voronkov

claim paper

Read More »