Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International…
by Claesen, Luc J.M, International Workshop on Higher Order Logic Theorem Proving and its Applications; HOL '92, Leuven,), Gordon, Michael J.C, CHEOPS ESPRIT BRA
fromIFIP transactions. A, Computer science and technology
0
Type: Book