×

找到10个文档(结果1-10)

Bellerophon:混合系统的战术定理证明。 (英语) Zbl 1483.68191号

Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日,第八届国际会议,ITP 2017,巴西巴西利亚。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499207-224(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件