×

找到220个文档（结果1-100）

最新的 引文 关联
库兹涅佐夫（Stepan L.Kuznetsov）。

交换Kleene代数理论的算法复杂性。 （英语。俄文原件） Zbl 07838022号

伊兹夫。数学。 88，编号2，236-269（2024）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料88，编号2，44-79（2024）。
MSC公司：03B25号 03C75号 03B47型 03天35分 05年3月 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kuznetsov}，伊兹夫。数学。88，No.2，236--269（2024；Zbl 07838022）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料88，编号2，44--79（2024）
全文： DOI程序 MNR公司
工资制造者，贾纳;内特·福斯特;托比亚斯·卡佩;德克斯特·科赞;朱里安·罗特;亚历山德拉·席尔瓦

并发NetKAT。建模和分析有状态的并发网络。 （英语） Zbl 1528.68259号

Sergey，Ilya（编辑），《编程语言与系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 575-602 (2022).
MSC公司：68问题85 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Wagemaker}等人，Lect。注释计算。科学。13240575--602（2022；Zbl 1528.68259）
全文： DOI程序 arXiv公司
OA许可证
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯;乔治·斯特鲁斯

代数相干合流和更高球状Kleene代数。 （英语） Zbl 1508.18018号

日志。方法计算。科学。 18，第4号，第9号论文，43页（2022年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号30 03B70型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Calk｝等人，日志。方法计算。科学。18，第4号，第9号论文，43页（2022年；Zbl 1508.18018）
全文： DOI程序 arXiv公司
OA许可证
沃尔特·古特曼;尼古拉斯·罗宾森·奥布莱恩

Borůvka最小生成树算法的关系代数验证。 （英语） Zbl 07670521号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 225-240 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{W.Guttmann}和\textit{N.Robinson-O'Brien}，莱克特。注释计算。科学。13027225-240（2021年；兹bl 07670521）
全文： DOI程序
卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯

抽象策略和连贯性。 （英语） Zbl 1517.68155号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 108-125 (2021).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calk}等人，Lect。注释计算。科学。13027，108-125（2021；Zbl 1517.68155）
全文： DOI程序 哈尔
翁贝托·里维奇奥;拉蒙·詹萨纳;蒂亚戈·纳西门托

弱伪补拟Kleene代数的两个对偶。 （英语） Zbl 07627300号

Lesot，Marie-Jeanne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第18届国际会议，2020年IPMU，葡萄牙里斯本，2020年6月15日至19日。诉讼程序。第三部分查姆：斯普林格。Commun公司。计算。信息科学。1239, 634-653 (2020).
MSC公司：2009年6月 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{U.Rivieccio}等人，Commun。计算。信息科学。1239634-653（2020年；Zbl 07627300）
全文： DOI程序
工资制造者，贾纳;保罗·布鲁内特;西蒙·多尔蒂;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦

部分可观测并发Kleene代数。 （英语） Zbl 07559476号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第20条，第22页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Wagemaker}等人，LIPIcs——莱布尼茨国际程序。通知。171，第20条，22 p.（2020；Zbl 07559476）
全文： DOI程序 arXiv公司
阿伦·库马尔

基于经典近似空间和广义近似空间的粗糙集代数和逻辑研究。 （英语） 兹比尔1483.68405

Peters，James F.（编辑）等，《粗糙集交易》22。柏林：斯普林格。莱克特。注释计算。科学。12485, 123-251 (2020).
MSC公司：68层37 03B50号 03G10年 06D20日 2012年2月6日 06年50月
PDF格式BibTeX公司 XML格式引用
\textit{A.Kumar}，莱克特。注释计算。科学。12485、123-251（2020年；Zbl 1483.68405）
全文： DOI程序
库兹涅佐夫，S.L。;新南威尔士州Ryzhkova。

带有迭代和交集运算的Lambek演算的限制片段。 （英语。俄文原件） Zbl 1485.03053号

代数逻辑 59，第2期，129-146（2020年）; 翻译自《代数逻辑》59，第2期，190-214（2020）。
MSC公司：03B47型 03G25号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kuznetsov}和\textit{N.S.Ryzhkova}，代数逻辑59，No.2，129--146（2020；Zbl 1485.03053）；《代数逻辑学》第59卷第2期第190-214页的译文（2020年）
全文： DOI程序
谢尔盖·冈查洛夫;斯特凡·米利厄斯;亚历山德拉·席尔瓦

走向有效状态机的统一理论。 （英语） Zbl 1446.68085号

ACM事务处理。计算。日志。 第21条第3款第23条第63页（2020年）.
MSC公司：68问题55 18立方厘米15 18 C50 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，ACM Trans。计算。日志。21，第3号，第23条，63页（2020年；Zbl 1446.68085）
全文： DOI程序 arXiv公司 链接
托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山德拉·席尔瓦;工资制造者，贾纳;法比奥·扎纳西

带观察的克莱恩代数。 （英语） 兹比尔07649949

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第41条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。140，第41条，第16页（2019年；Zbl 07649949）
全文： DOI程序 arXiv公司
拉姆昌德拉·帕瓦德

分布字母表上自由选择自动机的Kleene定理。 （英语） Zbl 1464.68258号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理XIV》。柏林：斯普林格。莱克特。注释计算。科学。11790, 146-171 (2019).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Phawade}，莱克特。注释计算。科学。11790、146-171（2019年；Zbl 1464.68258）
全文： DOI程序 arXiv公司
安德鲁·巴特菲尔德

统一并发的内外代数。 （英语） Zbl 07168638号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 157-175 (2019).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.巴特菲尔德}，莱克特。注释计算。科学。11885，157-175（2019；Zbl 07168638）
全文： DOI程序 链接
你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） Zbl 07168631号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885，3-21（2019）。
MSC公司：68号01 03B70型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。注释计算。科学。11885，3--21（2019；Zbl 07168631）
全文： DOI程序 链接
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西

关于系列平行的pomset语言：合理性、上下文无关性和自动机。 （英语） Zbl 1417.68134号

J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).
MSC公司：68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，J.Log。阿尔盖布。方法计划。103、130-153（2019年；Zbl 1417.68134）
全文： DOI程序 arXiv公司
达斯，阿努帕姆;Damien Pous

（Kleene+作用）（代数+格）的非完备性证明理论。 （英语） Zbl 1528.03234号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018）。
MSC公司：05年3月 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；兹bl 1528.03234）
全文： DOI程序
阿米娜·杜马内;Damien Pous

无恒等Kleene格的完备性。 （英语） Zbl 1520.68055号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第18条，第17页（2018年）。
MSC公司：65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Doumane}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。118，第18条，第17页（2018；Zbl 1520.68055）
全文： DOI程序
Damien Pous

关于具有传递闭包的关系的正演算。 （英语） Zbl 1487.03077号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第3条，第16页（2018）。
MSC公司：03G15年 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。96，第3条，第16页（2018；Zbl 1487.03077）
全文： DOI程序
斯捷潘·库兹涅佐夫

*-连续性vs.归纳法：分而治之。 （英语） 兹比尔1418.03111

Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。493-510 (2018).
MSC公司：03B47型 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kuznetsov}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。493--510（2018；Zbl 1418.03111）
阿德里安·蓬梅莱;泰瑟·图利

通过rendez-vous通信的多线程递归程序的静态分析。 （英语） Zbl 1503.68047号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 235-254 (2017).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Pommellet}和\textit{T.Touili}，莱克特。注释计算。科学。10695，235-254（2017；Zbl 1503.68047）
全文： DOI程序 arXiv公司
保罗·布鲁内特;Damien Pous;乔治·斯特鲁斯

关于并发Kleene代数的可判定性。 （英语） Zbl 1442.68128号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第28条，第15页（2017年）。
MSC公司：68问题85 65年第68季度 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Brunet}等人，LIPIcs——莱布尼茨国际程序。通知。85，第28条，第15页（2017年；Zbl 1442.68128）
全文： DOI程序
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西

Brzozowski是并发的——pomset语言的Kleene定理。 （英语） 兹比尔1442.68145

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第25条，第16页（2017年）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。85，第25条，第16页（2017年；Zbl 1442.68145）
全文： DOI程序 arXiv公司
保罗·布鲁内特

可逆Kleene晶格。 （英语） Zbl 1441.68137号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第66条，第14页（2017年）。
MSC公司：70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Brunet}，LIPIcs——莱布尼茨国际程序。通知。83，第66条，第14页（2017年；Zbl 1441.68137）
全文： DOI程序
沃尔特·古特曼

斯通关系代数。 （英语） Zbl 1402.03099号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-57417-2/pbk；978-3-3169-57418-9/电子书）。计算机科学课堂讲稿10226，127-143（2017）。
MSC公司：03G15年 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Guttmann}，莱克特。注释计算。科学。10226、127--143（2017；Zbl 1402.03099）
全文： DOI程序
伯恩哈德·莫勒;你好，托尼;马丁·米勒。;乔治·斯特鲁斯

并发程序执行的离散几何模型。 （英语） Zbl 1483.68086号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 1-25 (2017).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}等人，Lect。注释计算。科学。10134，1-25（2017；Zbl 1483.68086）
全文： DOI程序 链接
内特·福斯特;德克斯特·科赞;马修·米兰;亚历山大·席尔瓦;劳雷·汤普森

NetKAT的联合决策程序。 （英语） Zbl 1346.68132号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。343-355 (2015).
MSC公司：68问题85 65年第68季度 60年第68季度 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Foster}等人，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。343-355（2015年；兹bl 1346.68132）
全文： DOI程序
萨宾·布罗达;西尔维亚卡瓦达斯;米盖尔·费雷拉;内尔玛·莫雷拉

用导数判定同步Kleene代数。 （英语） 兹比尔1465.68192

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 49-62 (2015).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，Lect。注释计算。科学。9223，49-62（2015；Zbl 1465.68192）
全文： DOI程序 链接
伯恩哈德·莫勒;你好，托尼

探索CKA的接口模型。 （英语） Zbl 1432.68314号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 1-29 (2015).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}和\textit{T.Hoare}，莱克特。注释计算。科学。9129，1-29（2015年；兹bl 1432.68314）
全文： DOI程序 链接
贾森·雅斯科尔卡;里达·凯德里

使用\（mathrm{C}^2\mathrm}KA}\）表示通信条件的潜力。 （英语） Zbl 1464.68250号

Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161161-174（2014）。
MSC公司：68问题85 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{J.Jaskolka}和\textit{R.Khedri}，电子。程序。西奥。计算。科学。（EPTCS）161161--174（2014；Zbl 1464.68250）
全文： arXiv公司 链接
巴勃罗·卡斯特罗。;彼得·库利基

基于布尔代数的道义逻辑。 （英语） Zbl 1351.03012号

Robert Trypuz（编辑），Krister Segerberg，关于行动逻辑。多德雷赫特：施普林格（ISBN 978-94-007-7045-4/pbk；978-94-07-7046-1/电子书）。Logic 1的杰出贡献，85-117（2014）。
MSC公司：03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.F.卡斯特罗}和\textit{P.库利奇}，奥斯特。控制日志。1、85-117（2014；Zbl 1351.03012）
全文： DOI程序 链接
彼得·吉普森

并行Kleene代数与测试。 （英语） Zbl 1345.68139号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，37-48（2014）。
MSC公司：2010年第68季度 68号30 68问题55 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛P.Jipsen｝，勒克特。注释计算。科学。8428，37-48（2014；Zbl 1345.68139）
全文： DOI程序
贾森·雅斯科尔卡;里达·凯德里;张庆雷

赋予并发Kleene代数以通信动作。 （英语） Zbl 1405.68214号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，19-36（2014）。
MSC公司：68问题85 60年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Jaskolka}等人，Lect。注释计算。科学。8428，19-36（2014；Zbl 1405.68214）
全文： DOI程序
斯特凡诺·阿古佐利;莱昂纳多·卡布雷（Leonardo M.Cabrer）。;文森佐·马拉

有限Kleene代数自由生成的MV-代数。 （英语） Zbl 1316.06013号

代数大学。 70，第3期，245-270（2013）.
审核人：贾科莫·伦齐（费西亚诺）
MSC公司：05年6月 06时30分 06年50月 03G25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Aguzzoli}等人，《代数大学》。70，第3号，245--270（2013；Zbl 1316.06013）
全文： DOI程序 arXiv公司
S.Ajesh巴布;帕里托什·K·潘迪亚。

Chop表达式和离散持续时间演算。 （英语） Zbl 1256.68096号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，229-256（2012）。
MSC公司：65年第68季度 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Babu}和\textit{P.K.Pandya}，IISc Res.Monogr。序列号。229--256（2012；Zbl 1256.68096）
全文： DOI程序
彼得·布特科维奇;汉斯·施耐德;谢尔盖·谢尔盖夫

极大代数、非负线性代数和其他半环中的Z矩阵方程。 （英语） Zbl 1255.15031号

线性多线性代数 60，第10号，1191-1210（2012）.
审核人：格罗齐奥·斯坦尼洛夫（索非亚）
MSC公司：15A80型 15A06号 15个B48
PDF格式BibTeX公司 XML格式引用
\textit{P.Butkovič}等人，《线性多线性代数60》，第10期，1191--1210（2012；Zbl 1255.15031）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件