×

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

因子分解森林定理。 (英语) Zbl 07469516号

Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。653-693(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性新生注册自动机的多项式时间等价性测试。 (英语) Zbl 1512.68143号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第72条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非周期性串传感器。 (英语) Zbl 1436.68167号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840125-137(2016)中所述。
PDF格式BibTeX公司 XML格式引用

交换群的可组合扩张。 (英语) Zbl 1250.03021号

Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,51-66(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq有限群表示理论。 (英语) Zbl 1247.68231号

Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,438-452(2009)。
MSC公司:68吨15 20立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份