COMPUTER-SCIENCE - MATHEMATICAL LOGIC FLUSHES OUT THE BUGS IN CHIP DESIGNS

被引：4

|

作者：

GLANZ, J

机构：

来源：

SCIENCE | 1995年 / 267卷 / 5196期

关键词：

D O I：

10.1126/science.267.5196.332

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：332 / 333

页数：2

相关论文

共 43 条

[1] THE NEW ROLE OF MATHEMATICAL LOGIC - A TOOL FOR COMPUTER-SCIENCE
LONGO, G
[J]. INFORMATION SCIENCES, 1991, 57-8 : 23 - 29
[2] LOGIC AND APPLICATIONS TO COMPUTER-SCIENCE
GRANDJEAN, E
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 101 (01) : 1 - 1
[3] INFINITARY LOGIC FOR COMPUTER-SCIENCE
KOLAITIS, PG
VARDI, MY
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 450 - 473
[4] APPLICATIONS OF COMBINATORIAL DESIGNS IN COMPUTER-SCIENCE
COLBOURN, CJ
VANOORSCHOT, PC
[J]. COMPUTING SURVEYS, 1989, 21 (02) : 223 - 250
[5] MATHEMATICAL PREPARATION FOR COMPUTER-SCIENCE MAJORS
MARION, WA
[J]. SCCS PROCEEDINGS : 22ND ANNUAL SMALL COLLEGE COMPUTING SYMPOSIUM, 1989, : 215 - 220
[6] A TWIST OF LOGIC - FROM MATHEMATICS TO COMPUTER-SCIENCE
ARRIETAURTIZBEREA, A
[J]. ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1995, 151 (596) : 87 - 106
[7] MATHEMATICAL STRUCTURES FOR COMPUTER-SCIENCE - GERSTING,J
STEWART, I
[J]. NEW SCIENTIST, 1983, 98 (1357) : 390 - 391
[8] PARTIAL-PREDICATE LOGIC IN COMPUTER-SCIENCE
HOOGEWIJS, A
[J]. ACTA INFORMATICA, 1987, 24 (04) : 381 - 393
[9] SYMPOSIUM - MATHEMATICAL FOUNDATIONS OF COMPUTER-SCIENCE - PREFACE
TIURYN, J
[J]. INFORMATION AND CONTROL, 1985, 67 (1-3): : 1 - 1
[10] MATHEMATICAL FOUNDATIONS OF COMPUTER-SCIENCE - DEMBINSKI,P
KEKERITZ, U
[J]. MATHEMATICAL SOCIAL SCIENCES, 1982, 3 (01) : 96 - 97

← 1 2 3 4 5 →