Journal of symbolic computation. 2001;32(4):305-332. doi: 10.1006/jsco.2000.0464 Q21.12025

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Alessandro Armando; Alessandro Coglio; Fausto Giunchiglia; Silvio Ranise

DOI: 10.1006/jsco.2000.0464

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：