×

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

系统生物学的逻辑框架。 (英文) Zbl 1402.92210号

Fages,François(编辑)等人,宏观生物学中的形式方法。2014年9月22日至24日在新喀里多尼亚努美阿举行的2014年FMMB第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10397-6/pbk)。计算机科学课程讲稿8738。生物信息学讲义,136-155(2014)。
PDF格式BibTeX公司 XML格式引用

具有有限顺序关系的字符串上的游戏。 (英文) Zbl 1211.03050号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2009年1月3日至6日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2009国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92686-3/pbk)。计算机科学讲义5407164-179(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段