罗莎莉Steier
357 - 358页
阿尔弗雷德·博克
页360 - ff。
罗伯特·l·Ashenhurst
362页
立法的形式化和协助解决法律问题的计算机系统的发展为开发和测试人工智能技术提供了丰富的领域。
M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, H. T. Cory
370 - 386页
Jon Bentley, Don Knuth
384 - 369页
一种音乐描述语言旨在促进电子通信和具有出版质量的乐谱印刷，它包含了表达并发性和二维性的语法，并提出了新的要求……
约翰·s·古尔
388 - 401页
在大学环境中使用基于抽象的软件开发技术的五年经验表明，在实践中支持范式所需的投资以更大的能力回报……
Valdis Berzins, Michael Gray, David Naumann
402 - 415页
通过确保进入具有不同设施和安全级别的子系统(区域)，登录过程可以做的不仅仅是延迟非法访问。
理查德敲竹杠
416 - 417页
有许多表示图形信息的技术，其中包括边界、阵列和骨架。四叉树常用于存储黑白图片信息。各种各样的技术已经…
大卫·s·斯科特，s·西塔拉玛·艾扬格
418 - 429页
