Automatic theorem proving technique for MSVL
MA Qian;DUAN Zhenhua
J4 . 2016, (1): 75 -81 .  DOI: 10.3969/j.issn.1001-2400.2016.01.014

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd