Higher order logic theorem proving and its applications: proceedings of the IFIP TC 10/WG 10.2 Internation…
by Gordon, M. J. C., Claesen, Luc J. M., IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Leuven, Belgium), IFIP Technical Committee 10, IFIP Working Group 10.2
fromIFIP transactions. A, Computer science and technology
0
Type: Book