Higher Order Logic Theorem Proving and Its Applications
de E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Ediciones (1)
- Higher Order Logic Theorem Proving and Its Applications (2014)
Springer · ISBN 9783662176207
de E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Springer · ISBN 9783662176207