Was sind,, Axiome: eigentlich Behauptungen. Wenn es gelingt, aus einer beschrankten Anzahl solcher Axiome\ einen in sich abgeschlosse- nen Bereich des Denkens zu schaffen( in der Philosophie und in etwas erzwungener Form auch in der Informatik als Onthologie-die Lehre des,,Seins\ bezeichnet). Dann kann man in diesem Bereich im Rahmen der Axiome ,spazieren denken\ Ein Beispiel hierfur ist die analytische
USPTO是美国专利与商标办公室(United States Patent and Trademark Office)的简称, 通过因特网提供书目和全文专利数据库检索是非常重要的专利信息资源。该数据库收录 的美国专利的时间范围从1976年1月1日起到当前最近一个星期(每周更新一次数据,一 般是在周四)。上网用户可免费检索该数据库,并可浏览检索到的专利的题目、文摘及其 包括附图在内的专利说明书等信息
PQDD(ProQuest Digital Dissertations)是由美国Bell& Howell信息学术公司Bll Howell Information and learning,原为UM公司)提供的“国际学位论文文摘”数据库的 web版。它是目前世界上独一无二的最具权威性的博士、硕士学位论文检索数据库,主要 收录来自美国、加拿大和欧洲1000多所大学的博、硕士论文的题录、文摘共160余万 篇,其中100多万篇有印刷型或缩微型原文收藏。该数据库每周更新一次数据,每年大约 新增47000篇博土论文和12000篇硕士论文