Home›Books›IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications (1992 Louvain, Belgium)IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications (1992 Louvain, Belgium)No biography available.No works found.