Hajime,Urakawa: Illinois Journal of Mathematics. 33. (1989)
Hajime,Urakawa: Illinois Journal of Mathematics. 33. (1989)
复制标题
浦川肇：《伊利诺伊州数学杂志》。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
日本临床麻醉学会杂志 4-3 (1984)。
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
通讯作者：
--
DOI：
10.1016/0004-3702(81)90015-1
发表时间：
1981
期刊：
Artif. Intell.
影响因子：
--
作者：
D. Plaisted
通讯作者：
D. Plaisted
通过交互使用抽象来证明定理
DOI：
--
发表时间：
1994
期刊：
--
影响因子：
--
作者：
R. Sebastiani;Adolfo Villa orita;Fausto Giunchiglia
通讯作者：
Fausto Giunchiglia
关于不完备性定理
DOI：
--
发表时间：
1994
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
H. Kotlarski
通讯作者：
H. Kotlarski
树包含：用大纲进行推理
DOI：
--
发表时间：
1992
期刊：
--
影响因子：
--
作者：
Fausto Giunchiglia;T. Walsh
通讯作者：
T. Walsh