期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

UNIX环境下中大型软件编译链接技巧

The Global Properties of Valid Formulas in Modal Logic K

下载PDF

导出

摘要本文主要介绍笔者运用ＵＮＩＸ提供的系统工具生成的两个编译链接实用工具：ｓｙｓｍａｋｅ和ｃｈｍａｋｅ．

作者李建兵

机构地区西南交通大学电气化自动化所

出处《计算机应用研究》 CSCD 1996年第2期75-76,共2页 Application Research of Computers

关键词 UNIX 软件编译链接 Modal logic system K, global property, tableau method, automated reasoning

分类号 TP314 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1丁书耕.UNIX系统下动态链接库的应用与开发[J].中国计算机用户,1997(21):23-24.
2夏爽.DSP外部Flash存储器的自烧写方式研究[J].电脑编程技巧与维护,2011(18):99-100. 被引量：2
3范作金.Maxthon中在新窗口打开链接技巧三步走[J].电脑迷,2005,0(15):93-93.
4张幼真.Excel数据链接技巧[J].微电脑世界,2001(5):120-121.
5刘开绪.数字式抢答器的设计与实现[J].电子工程师,2005,31(9):69-71. 被引量：7
6肖文鹏.善用make做开发[J].开放系统世界,2004(4):70-72.
7东野长磊,戚梅.一种带Cache的嵌入式CPU的设计与实现[J].微型机与应用,2010,29(14):17-19. 被引量：4
8聂文华,王自强,都思丹.基于IXP425及Linux的Web Server设计[J].微计算机应用,2004,25(5):549-553. 被引量：2
9张超敏,李震平.在Excel中数据链接技巧[J].邯郸医学高等专科学校学报,2004,17(3):246-246.
10王平.网站优化外部链接技巧6则[J].计算机与网络,2017,43(7):50-50.

计算机应用研究

1996年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部