Higher order logic theorem proving and its applications
Claesen, Luc J M,
Higher order logic theorem proving and its applications Luc J M Claesen - - North-Holland Publishing Co., Amsterdam 1993 - - .
Computer programming
005.1 CLA-H
Higher order logic theorem proving and its applications Luc J M Claesen - - North-Holland Publishing Co., Amsterdam 1993 - - .
Computer programming
005.1 CLA-H