加载中…
个人资料
前沿博客
前沿博客
  • 博客等级:
  • 博客积分:0
  • 博客访问:106,579
  • 关注人气:2
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
博文
标签:

杂谈

所有关于诗词三十九-旧金山文艺复兴

Friday, December 5th, 2008 星期五, 2008年12月5号

Theterm San Francisco Renaissance is used as a global designation for arange of poetic activity centered around that city and which brought itto prominence as a hub of the American poetic avant-garde.任期旧金山文艺复兴作为一个全球指定了一系列的诗歌活动围绕这个城市,并把它作为一个突出枢纽的美国诗歌前卫。 However,others (eg, Ralph J. Gleason, Alan Watts) felt this renaissance was abroa

标签:

杂谈

软件工程四-统一建模语言( UML

Wednesday, November 12th, 2008 星期三, 2008年11月12号

Unified Modeling Language (UML) is a standardized general-purpose modeling language in the field of software engineering.统一建模语言( UML &#6528

标签:

杂谈

OpenDocument格式( ODF格式)

Saturday, November 1st, 2008 星期六, 2008年11月1日

TheOpenDocument format (ODF) is a file format for electronic officedocuments such as spreadsheets, charts, presentations and wordprocessing documents. OpenDocument格式( ODF格式)是一种电子文件格式的Office文件,如电子表格,图表,演示和文字处理文档。 Whilethe specifications were originally developed by Sun, the standard wasdeveloped by

标签:

杂谈

想法很便宜十八-边疆梦幻面试问题的维尔纳Vogels

Tuesday, October 21st, 2008 星期二, 2008年10月21日

- Unfortunately this is another unfinished Frontier Visionary Interview. -遗憾的是这又是一个未完成的前沿梦幻面试。 We contacted Werner Vogels, CTO of Amazon, a few times and got no answers after his confirmingwith us on being willingness to participate, but failed to continue theinterview.

标签:

杂谈

自动定理证明( ATP )的

Tuesday, July 29th, 2008 星期二, 2008年7月29日

Automatedtheorem proving (ATP) or automated deduction, currently the mostwell-developed subfield of automated reasoning (AR), is the proving ofmathematical theorems by a computer program.自动定理证明( ATP )或自动扣除,目前最发达的子字段的自动推理(机铁) ,是证明数学定理由计算机程序。
Decidability of the problem判定的问题

  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有