期刊文献+

计算机科学哲学研究进展 被引量:2

原文传递
导出
作者 任晓明 潘沁
机构地区 南开大学哲学系
出处 《哲学动态》 CSSCI 北大核心 2008年第4期96-100,共5页 Philosophical Trends
  • 相关文献

参考文献16

  • 1Von Neurnann,about Turing's Work,in B.Jack Copdund(ed.),The Exxential Turing,Oxford University Press,2004,P.3.
  • 2B.Jack Coperland,Personal Correspondence,4 aug.2005.
  • 3Edsger W.Dijkstra,the Cruelty of Really Teaching Computer Science,unpublished manuscript(1988 transcript).
  • 4Timothy R.Colburn,Philosophy and Computer Science,M.E.Sharpe,2000,p.130;p.4.
  • 5Peter Wegner,Research Paradigms in Computer Science,Soft Engineer-ICSE 1976,San Francisco,CA,pp.322-330.
  • 6Allen Newell,Herbert A.Simon,“Computer Science as Empirical Inquiry:Symbols and Search”,Communications of ACM,Vol.19,No.3,1976,pp.113-126.
  • 7Donald E.Knuth,"Computer Science and its Relation to Mathmatics",The American Mathematical Monthly,Vol.81,1974,No.4,pp.323-343.
  • 8Anmon H.Eden,"The Paradigms of Computer Science",Minds and Machines,Vol.17,No.2,2007,pp.135-167.
  • 9Colbum,T.& Shute,G.,"Abstraction in Computer Science",Minds and Machines,2007.Vol.17.
  • 10Timothy R.Colbum,James H.Fetzer,Teny L.Bankin(eds.),Programe Verification:Fundamental Issues in Computer Science,Dordrecht,The Netherlands:Kluwer Academic Publishers,1993.

同被引文献46

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部