Higher order logic theorem proving and its applications : proceedings - Joyce J J; International Workshop on Higher Order Logic Theorem( 6th : 1993 : Canada ); International Workshop on Higher Order Logic Theorem 6th , Canada 1993 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Higher order logic