"7" Result
Sort By:
High order logic theorem proving and its applications: proceedings of the IFIP TC 10/WG 10.2 Internation…
by Claesen, Luc J. M., IFIP., Working Group 10.2, Digital Systems Descriptions and Design Tools, European Strategic Programme for Research and Development in Information Technology., ESPRIT Basic Research Action 3215 "CHEOPS.", IFIP TC10/WG10.2 International Workshop on High Order Logic Theorem Proving and Its Applications, Louvain)
fromIFIP transactions. A, Computer science and technology
0
Type: Book