{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[[2024,9,4]],“日期时间”:“2024-09-04T21:48:51Z”,“时间戳”:1725486531892},“出版商位置”:“柏林,海德堡”,“参考计数”:12,“出版者”:“斯普林格-柏林-海德堡“,”isbn-type“:[{”type“打印”,“值”:“9783838 540666523“},{”类型“:“electronic”,“value”:“9783540480570”}],“license”:[{“start”:{“date-parts”:[[1999,1,1]],“date-time”:“1999-01-01T00:00:00Z”,“timestamp”:915148800000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“http://www.springer.com/tdm”}],“crossmark-restriction”:false},“short-container-title”:[],“published-print”:{“date-parts”:[1999]]},“DOI”:“10.1007\/3-540-48057-9_21”,“type”:“book-chapter”,“created”:{“date-ports”:[[2007,6,23]],“date-time”:“2007-06-23T07:05:18Z”,“timestamp”:1182582318000},”page“:”226-229“update-policy”:”http://dx.DOI.org\/10.10007\/springer_crossmark_policy cy“,“source”:“Crossref”,“is-referenced-by-count”:0,“title”:[“Autogrape:A Graphical Version of Automate”],“prefix”:“10.1007”,“author”:[{“given”:“Are”,“family”:“Uppman”,“sequence”:“first”,“affiliation”:[]},{“给定”:“Jean-Marc”,“家族”:“Champarnaud”,“:[{”key“:”21_CR1“,”series-title“:“技术报告”,“卷标”:“AMoRE计划报告”,《作者》:“O.Matz”,“年份”:“1995年”,“非结构化”:“O.Matz,A.Miller,A.Potthoff,W.Thomas和E.Valkena,AMoRE项目报告,技术报告,信息与实践数学研究所,基尔克里斯蒂安·阿尔布雷支大学,1995年。”},{“关键”:“21_CR2”,“非结构化”:“F.Bertault,Padnon:un Logiciel de Trac\u00e9 Automatique de Graphes en Trois Dimensions,研究报告3130,INRIA,1997年。”},{“key”:“21_CR3”,“unstructured”:“G.Booch,Software Components With Ada,Second Edition,The Benjamings Series in Ada and Software Engineering,1986年。”:“publisher”,“first page”:“197”,”DOI“:”10.1016\/S0747-7171(08)80125-3“,”volume“:”12“,”author“:”J.-M.Champarnaud“,”year“:”1991“,”unstructured“:”J-M.Champarnoud and G.Hansel,AUTOMATE:a Computing Package for Automata and Finite Semigroups,J.Symbolic Computation\n 12,(1991)197\u2013220.“,”journal-title“:”J。符号计算“},{“key”:“21_CR5”,“unstructured”:“C.Charras和T.Lecroq,精确字符串匹配算法,报告LIR,鲁昂大学,1997,URL:\n http://\/www.dir.univ-Rouen.fr\/~Charras\/String\/\n\n.”},“问题”:“8”,“key“:”21_CR6“,”doi-asserted-by“:”publisher“,“首页”:“863“,“DOI”:“10.1002(SICI)1097-024X(199708)27:8<863::AID-SPE109>3.0.CO;2-#“,”volume“:”27“,”author“:”P.Caron“,”year“:”1997“,”unstructured“:”P.Caron,AG:一组用于操作自动机和半群的Maple包,Software-Practice&Experience,27(8),863\u2013884,1997.“,”journal-title“:”Software-Puracce&Experierience“},{“key”:“21_CR7”,“series-title”:“Lect Notes Compute Sci”,“volume-title”:”WIA\u201998“,”author“:”G.Duchamp“,”year“:”1988“,”unstructured“:”G Duchamp、M.Flouret和E.Laugerotte,《多元自动机的操作》,《实现自动机研讨会》,WIA\u201998,Rouen,1988,发表于《计算机科学讲义》。“},{”key“:”21_CR8“,”unstructured“:”M.Kanta et D.Krob,TROP:热带自动机的Maple软件包,LIAFA报告,巴黎大学,1998年7月,即将发布。a\u201996“,”作者“:”S。Rodger”,“年份”:“1997年”,“非结构化”:“S.Rodger,《通过工具和编程将动手工作整合到正式语言课程中》,摘自:D.Raymond和D.Wood,eds.,Proc。WIA\u201996,《计算机科学讲义》,第1260卷(1997)132\u2013148。Yu,编辑,Proc。WIA\u201997,计算机科学讲义,第1436卷(1988)185\u2013197。“},{“key”:“21_CR11”,“unstructured”:“A.Uppman,Egg:图形的图形编辑器,技术报告LIFAR,University\u00e9 de Rouen,1998,即将出版。”},},“key“:”21_CR12“,”unstructure“:”D.A。Young,《使用C++和OSF\/Motif进行面向对象编程》,第二版,Prentice Hall,1995年。“}],“container-title”:[“计算机科学课堂讲稿”,“自动化实现”],“原始标题”:[],“language”:“en”,“link”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10.10007\/3-540-48057-9_21”,“content-type”:“unspecified”,“content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[[2019,5,19]],”date-time“:”2019-05-19T09:50:23Z“,”timestamp“:1558259423000},”score“:1,”resource“:{primary”:{“URL”:“http://\link.springer.com/10.1007\/3-540-48057-9_21”}},“subtitle”:[],“shorttitle”:[],“已发布”:{“date-parts”:[[1999]]},“ISBN”:[“9783540666523“,”9783540480570“],”references-count“:12,”URL“:”http://\/dx.doi.org\/10.1007\/3-540-48057-9_21“,”relation“:{},”ISSN“:[”0302-9743“],“ISSN-type”:[{“type”:“print”,“value”:“0302-974 3”}],“subject”:[],“published”:{“date-parts”:[[1999]]},“assertion”:[}“value“:“1999年9月17日”,“订单”:1,“名称”:“first_online”,“标签”:“first online”group”:{“name”:“ChapterHistory”,“label”:“ChapterHistory”}}]}