An Introduction to Mechanized Reasoning-猫眼课题宝

DOI：

10.1016/j.jmateco.2016.06.005

发表时间：

2016-03

期刊：

ArXiv

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

Manfred Kerber;C. Lange;C. Rowat