The MVL theorem proving system
The MVL theorem proving system
复制标题
MVL定理证明系统
DOI：
10.1145/122296.122304
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
M. Ginsberg
中科院分区：
文献类型：
--
作者：
M. Ginsberg
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical progress made there is regularly included in MVL in order to ensure that the ideas developed theoretically can be tested experimentally as well.
