TkWinHOL: A Tool for Doing Window Inference in HOL (1995)

by Thomas Långbacka , Rimvydas Ruksenas , Joakim von Wright
Venue:In Proc. 1995 International Workshop on Higher Order Logic Theorem Proving and its Applications, Lecture
Citations:4 - 2 self