Linking HOL Light to Mathematica using OpenMath. Seddiki, O. Ph.D. Thesis, Concordia University, Montréal, Canada, 2014.
Linking HOL Light to Mathematica using OpenMath [pdf]Paper  bibtex   

Downloads: 0