ACM通信

关于“在线查询系统中布尔表达式的最优计算”的评论

p·d·Laird
549 - 553页

---

一个关于日历正确性的证明程序

莱斯利Lamport
554 - 556页

---

行号变得便宜

保罗陡崖
557 - 559页

---

一种多面体障碍物间无碰撞路径规划算法

Tomás Lozano-Pérez, Michael A. Wesley
560 - 570页

---

ACM论坛

罗伯特·l·Ashenhurst
577 - 579页

---