## 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 |