TY - BOOK ID - 132623844 TI - Higher order logic theorem proving and its applications AU - Claesen, Luc J.M. AU - Gordon, Michael J.C. AU - International Workshop on Higher Order Logic Theorem Proving and its Applications PY - 1992 PB - Amsterdam Elsevier DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:132623844 AB - ER -