期刊文献+

PFL系统的语义

下载PDF
导出
摘要 给出了PFL系统的语义,并证明了其可靠性与完备性。
出处 《高技术通讯》 EI CAS CSCD 1995年第A01期75-77,共3页 Chinese High Technology Letters
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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