摘要:
acm.org
core.ac.uk
sci-hub.se 参考文章(10)
Jr. Frederick P. Brooks, The mythical man-month (anniversary ed.) Addison-Wesley Longman Publishing Co., Inc.. ,(1995)
Peter Wegner, Interactive Software Technology. The Computer Science and Engineering Handbook. pp. 2440- 2463 ,(1997)
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)
Peter Wegner, Interactive foundations of computing Theoretical Computer Science. ,vol. 192, pp. 315- 351 ,(1998) , 10.1016/S0304-3975(97)00154-0
Roger Penrose, The Emperor's New Mind ,(1989)
Herbert Alexander Simon, The Sciences of the Artificial ,(1969)
Robin Milner, Elements of interaction Communications of the ACM. ,vol. 36, pp. 78- 89 ,(1993) , 10.1145/151233.151240
A. M. Turing, Computing Machinery and Intelligence ,(1950)
Robin Milner, Elements of interaction Communications of The ACM. ,vol. 36, pp. 78- 89 ,(1993)
Frederick Phillips Brooks, The mythical man-month: essays on software engineering Reading: Addison-Wesley. ,(1995)