Author Search Results

1

Cover Image

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL...

Published 1993

Other Authors: '; “...Claesen, Luc J. M....”