Higher order logic theorem proving and its applications
de Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis
Materias
Ediciones (2)
- Higher Order Logic Theorem Proving and Its Applications (1995)
Springer · inglés · ISBN 9783540602750
- Higher order logic theorem proving and its applications (1995)
