×

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

反应概率程序和精化代数。 (英语) Zbl 1138.68360号

Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届克莱恩代数应用国际会议,2008年4月7日至11日,德国弗劳恩沃思,RelMiCS/AKA 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。《计算机科学讲义》4988、304-319(2008)。
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段