期刊文献+

Visual Basic通用数据浏览器的设计实现 被引量:1

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 虽然VB提供数据库管理工具DATAMGR.但它在显示数据时相当不方便。本文介绍一通用的数据浏览器,可作为DATAMGR的补充,也可嵌入其它应用程序使用。
作者 施健
出处 《计算机应用研究》 CSCD 1996年第6期53-54,共2页 Application Research of Computers
关键词 数据浏览器 VB语言 数据库 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

同被引文献7

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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