An abstract machine for prototyping parallel proof mechanisms

被引：0

作者：

Johnson, R ^{[1
]}

Shen, K ^{[1
]}

Fisher, M ^{[1
]}

Keane, J ^{[1
]}

Nisbet, A ^{[1
]}

机构：

[1] MANCHESTER METROPOLITAN UNIV,DEPT COMP,MANCHESTER M1 5GD,LANCS,ENGLAND

来源：

ABSTRACT MACHINE MODELS FOR PARALLEL AND DISTRIBUTED COMPUTING | 1996年

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：191 / 202

页数：12