×

找到327份文件(结果1-100)

100
马查克斯

一个用于运行时验证的LTL证明系统。 (英语) 兹布1420.68121

Baier,Christel(ed.)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。柏林:斯普林格。选择。笔记计算。科学。903581-595(2015年)。
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

代数化逻辑。原版于1989年出版,并附有第二作者于2014年编制的勘误表。 (英语) Zbl 1359.03001号

经典翻印。新墨西哥州索科罗:高级推理论坛(ISBN 978-1-938421-18-1/pbk)。v、 78页。(2015年)。
PDF格式 BibTeX公司 XML 引用

Smarandache剩余格的滤子理论。 (英语) Zbl 1374.03069号

理学硕士:03G25型
PDF格式 BibTeX公司 XML 引用

逻辑演绎的功能解释。 (英语) Zbl 1248.03003

逻辑学进展5.新泽西州哈肯萨克:世界科学(ISBN 978-981-4360-95-1/hbk;978-981-4360-96-8/电子书)。三十二,266页。(2012年)。
PDF格式 BibTeX公司 XML 引用
全文: 链接

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

分类

传记参考

全部的 前3名

软件