DMCA

Matching concepts across HOL libraries (2014)

by Thibault Gauthier , Cezary Kaliszyk
Venue:CICM’15, volume 8543 of LNCS
Citations:5 - 5 self