未找到相关数据
PROCEEDINGS OF THE IFIP TC10/WG10.2 INTERNATIONAL WORKSHOP ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS - HOL 92 ORGANIZED BY CHEOPS ESPRIT BRA 3215 SPONSORED BY IMEC AND THE COMMISSION-OF-THE-EUROPEAN-COMMUNITIES LEUVEN, BELGIUM, 21-24 SEPTEMBER 1992 - PREFACE
被引：0
|作者：
CLAESEN, L
GORDON, M
机构：
[1] UNIV CAMBRIDGE,COMP SCI LAB,CAMBRIDGE,ENGLAND
[2] KATHOLIEKE UNIV LEUVEN,LOUVAIN,BELGIUM
[3] INTERUNIV MICROELECTR CTR,LOUVAIN,BELGIUM
来源：
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：R5 / R6
页数：2
相关论文