期刊文献+

实现Internet网多项应用服务功能的综合性工具──Netscape浏览器 被引量:2

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 本文介绍了Netscape浏览器作为实现Internet网多项应用服务功能的综合性工具及其实现方法。
出处 《计算机应用研究》 CSCD 1996年第6期11-14,共4页 Application Research of Computers
关键词 WWW NETSCAPE浏览器 FTP文件 INTERNET网 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

同被引文献11

引证文献2

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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