Handbook of logic in computer science


名称	Handbook of logic in computer science

索引号	TP3/E9913
分类号	TP3 TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者
出版社	Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<1995 >
ISBN
页数	v. <1-4 > : ill. ; 25 cm.
价格
标签
简介
注解