证明理论

• 作者: P．阿克泽尔 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 证明理论 科学中心 信息技术 论文集 逻辑学 委员会 学校 夏季
• 年，卷（期）: 2010,（11）
• 页码范围: 15
• 页数: 1页
• 分类号: TP18

摘要

这是一本论文集，它汇集了在证明理论国际夏季学校和会议上宣读的10篇论文。这次极为成功的夏季学校及会议是1990年7月24—8月2日在英国利兹大学举行的。它们得到了英国科学与工程研究委员会（SERC）“信息技术逻辑学”（Logfit）倡议的支持，并且与利兹理论计算科学中心（CTCS）合作。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光华	中国科学院物理学研究所	92	0	0.0	0.0