Higher order logic theorem : proceedings - Melham T F; International Workshop on Higher Order Logic Theorem( 7th : 1994 : Malta ); International Workshop on Higher Order Logic Theorem 7th Malta, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Higher order logic