共 50 条
- [43] THE CONFERENCE OF PROFESSORS OF COMPUTER-SCIENCE [J]. UNIVERSITY COMPUTING, 1987, 9 (04): : 214 - 215
- [45] COMPUTER-SCIENCE DEPARTMENTS IN TROUBLE [J]. COMMUNICATIONS OF THE ACM, 1988, 31 (03) : 243 - 243
- [46] INFINITARY LOGIC FOR COMPUTER-SCIENCE [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 450 - 473