Journal of logic and computation. 2011;21(4):541-542. doi: 10.1093/logcom/exp042 Q40.72025

Proof and Computation

证明与计算

Adian, S.; Beklemishev, L.; Visser, A.

DOI: 10.1093/logcom/exp042

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：