AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology

First Page		Document Content
Date: 2016-08-30 03:42:56		AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology Add to Reading List Source URL: itp2016.inria.fr Download Document from Source Website File Size: 393,35 KB Share Document on Facebook