Higher order logic theorem proving and its applications
by Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis
No description available.
CongressesSymbolic and mathematical LogicAutomatic theorem provingLogic, symbolic and mathematical