IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications (1992 Louvain, Belgium)

Books by IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications (1992 Louvain, Belgium) on BookTides.