×

找到124个文档（结果1–100）

最新的 引文 关联
杨子怡;肖玉硕;关志超;胡镇江

用于评估含糖程序的惰性去糖系统。 （英语） Zbl 07570124号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 243-261 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13215、243-261（2022；Zbl 07570124）
全文： 内政部
Dan R.吉卡。

层次抽象语法图的操作语义。 （英语） Zbl 07456059号

Patrick Bahr（编辑），第十一届国际术语和图形计算研讨会论文集，TERMGRAPH 2020，在线，2020年7月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）334，1-10（2021）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Ghica}，电子。程序。西奥。计算。科学。（EPTCS）334，1--10（2021；Zbl 07456059）
全文： arXiv公司 链接
迪莉娅·凯斯纳;佩罗特，洛伊奇;丹尼尔·文图拉

节点复制的精神。 （英语） Zbl 07410433号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 344-364 (2021).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Kesner}等人，Lect。注释计算。科学。12650344--364（2021；Zbl 07410433）
全文： 内政部
大卫·谢拉特;威廉·海杰斯;汤姆·冈德森;米歇尔·帕里戈特

自旋原子演算。 （英语） Zbl 1496.03065号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 582-601 (2020).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Sherratt}等人，Lect。注释计算。科学。12077、582--601（2020；Zbl 1496.03065）
全文： 内政部
菲利波·塞斯蒂尼

通过类型弱\（\lambda \）-约简的求值进行规范化。 （英语） Zbl 1528.03131号

Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130，第6条，第17页（2019年）。
MSC公司：03B40型 2012年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Sestini}，LIPIcs——莱布尼茨国际程序。通知。130，第6条，第17页（2019年；Zbl 1528.03131）
全文： 内政部
尼科洛·维尔特里;范德维德，尼尔斯

通过大小类型在Agda中保护递归。 （英语） 兹比尔1528.68071

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第32条，第19页（2019年）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}和\textit{N.van der Weide}，LIPIcs——莱布尼茨国际程序。通知。131，第32条，第19页（2019年；Zbl 1528.68071）
全文： 内政部
马西耶·本德考斯基

（lambda）-演算中代换分解的平均情况分析。 （英语） Zbl 1528.68057号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第7条，第21页（2019年）。
MSC公司：68甲18 03B40型 2015年1月5日 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bendkowski}，LIPIcs——莱布尼茨国际程序。通知。131，第7条，第21页（2019年；Zbl 1528.68057）
全文： 内政部 arXiv公司
贝尼亚米·阿卡托利

重新审视\（\lambda \）-演算。 （英语） Zbl 1528.68054号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第1条，第20页（2019年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。131，第1条，第20页（2019年；Zbl 1528.68054）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;约兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） Zbl 1442.68119号

日志。计算方法。科学。 15，第4号，第2号论文，46页（2019年）.
MSC公司：68问题85 03B70号 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Log。计算方法。科学。15，第4号，第2号论文，46页（2019年；Zbl 1442.68119）
全文： arXiv公司
贝尼亚米·阿卡托利;布鲁诺·巴拉斯

模式匹配的成本微乎其微。 （英语） Zbl 1503.68034号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 426-447 (2017).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}和\textit{B.Barras}，莱克特。注释计算。科学。10695，426--447（2017；Zbl 1503.68034）
全文： 内政部 哈尔
乔纳斯·凯撒;碧姬·品特卡;格特·斯莫尔卡

关联系统F和（lambda 2）：Coq、Abella和Beluga的案例研究。 （英语） Zbl 1434.03030号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第21条，第19页（2017年）。
MSC公司：03B35型 03B38型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{J.Kaiser}等人，LIPIcs——莱布尼茨国际程序。通知。84，第21条，第19页（2017；Zbl 1434.03030）
全文： 内政部
巴勃罗·巴伦鲍姆;爱德华多·博内利

最优性和线性代换微积分。 （英语） Zbl 1434.68217号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第9条，第16页（2017年）。
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{P.Barenbaum}和\textit{E.Bonelli}，LIPIcs——莱布尼茨国际程序。通知。84，第9条，第16页（2017年；Zbl 1434.68217）
全文： 内政部
弗拉维奥·德·莫拉。

没有传播规则的\（\lambda\）-calculi的统一。 （英语） Zbl 1482.68080号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 179-195 (2016).
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.L.C.de Moura}，莱克特。注释计算。科学。9965179-195（2016年；Zbl 1482.68080）
全文： 内政部
Farmer，William M。

将引用和评价纳入Church的类型理论：句法和语义。 （英语） Zbl 1344.68204号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学讲义9791。《人工智能讲义》，83-98（2016）。
MSC公司：68吨15 03B15号机组 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。9791、83-98（2016年；Zbl 1344.68204）
全文： 内政部 arXiv公司
皮埃尔·马里·佩德罗;亚历克西斯·索林

按需定制经典款。 （英语） Zbl 1335.68034号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632616-643（2016）。
MSC公司：68甲18 03B40型 03B70号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{P.-M.Pédrot}和\textit{A.Saurin}，莱克特。注释计算。科学。9632、616--643（2016年；Zbl 1335.68034）
全文： 内政部
马克斯·维斯涅夫斯基;亚历山大·斯蒂恩;克里斯托夫·本兹穆勒

LeoPARD公司–用于实现高阶推理机的通用平台。 （英语） Zbl 1417.68196号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 325-330 (2015).
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Wisniewski}等人，Lect。注释计算。科学。9150325-330（2015；Zbl 1417.68196）
全文： 内政部 arXiv公司
弗拉维奥·德·莫拉。;巴博萨，A.V。;阿亚拉·林科，M。;卡马雷丁，F。

一个灵活的框架，用于可视化一般显式替换计算的计算特性。 （英语） Zbl 1347.68058号

爱德华·赫尔曼（Edward Hermann）等，《逻辑和语义框架及其应用第五次研讨会论文集》（LSFA 2010），巴西纳塔尔，2010年8月31日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记269，41-54（2011）。
MSC公司：68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.L.C.de Moura}等人，电子。注释Theor。计算。科学。269、41-54（2011年；Zbl 1347.68058）
全文： 内政部
卢卡·罗维斯

线性lambda演算和深度推理。 （英语） Zbl 1331.68045号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690184-197（2011）。
MSC公司：68甲18 03B40型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{L.Roversi}，莱克特。注释计算。科学。6690184-197（2011年；Zbl 1331.68045）
全文： 内政部
碧姬·品特卡

编程归纳证明。基于上下文类型的新方法。 （英语） Zbl 1309.68051号

Siegler，Simon（编辑）等人，《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际，为他举行庆祝活动。柏林：施普林格出版社（ISBN 978-3-642-17171-0/pbk）。计算机科学课堂讲稿6463。人工智能课堂讲稿，1-16（2010）。
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Pientka}，莱克特。注释计算。科学。6463，1--16（2010年；Zbl 1309.68051）
全文： 内政部
安德斯·沙克·尼尔森;卡斯滕·舒尔曼

线性和仿射lambda演算的Curry-style显式替换。 （英语） Zbl 1291.03022号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能讲义》，1-14（2010）。
MSC公司：03B40型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Schack-Nielsen}和\textit{C.Schurmann}，莱克托。注释计算。科学。6173，1-14（2010；Zbl 1291.03022）
全文： 内政部
安德烈·波佩斯库;格里高·罗什乌

术语通用逻辑。 （英语） Zbl 1253.03061号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，290-307（2009）。
MSC公司：03B70号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Popescu}和\textit{G.Rošu}，莱克特。注释计算。科学。5486、290--307（2009年；Zbl 1253.03061）
全文： 内政部
迪莉娅·凯斯纳;费边·雷诺

资源的棱柱体。 （英语） Zbl 1250.03024号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734，464-476（2009）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Kesner}和\textit{F.Renaud}，莱克特。注释计算。科学。5734、464--476（2009年；Zbl 1250.03024）
全文： 内政部
Kazunori上田

将纯lambda演算编码为层次图重写。 （英语） Zbl 1145.68378号

安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117392-408（2008）。
MSC公司：68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Ueda}，莱克特。注释计算。科学。5117392--408（2008年；Zbl 1145.68378）
全文： 内政部
奥利维尔·丹维;雅各布·约翰森

面向对象编程的交互派生语义工件。（扩展摘要）。 （英语） Zbl 1155.68355号

Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，1-16（2008）。
MSC公司：第68页第19页 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{O.Danvy}和\textit{J.Johannsen}，莱克特。注释计算。科学。5110，1--16（2008年；Zbl 1155.68355）
全文： 内政部
☑特拉安·弗洛林（Traian Florin）;格里高·罗什乌;何塞·梅塞格尔

操作语义的重写逻辑方法（扩展抽象）。 （英语） Zbl 1278.68147号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，125-141（2007）。
MSC公司：68问题55 2012年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.F.öerbţnu}等人，《电子》。注释Theor。计算。科学。192，编号1，125--141（2007；Zbl 1278.68147）
全文： 内政部
米尔纳，罗宾

局部双图与合流：两个猜想（扩展抽象）。 （英语） Zbl 1277.68197号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，65-73（2007）。
MSC公司：68问题85 03B40型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Milner}，电子。注释Theor。计算。科学。175，第3号，65--73（2007；Zbl 1277.68197）
全文： 内政部
埃里克·耶格尔;凯瑟琳·杜波依斯

为什么你会信任？ （英语） Zbl 1137.68355号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，288-302（2007）。
MSC公司：68号30 03B70号 第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{埃里·杰格}和\textit{C.Dubois}，莱克特。注释计算。科学。4790，288--302（2007；Zbl 1137.68355）
全文： 内政部
扎伊娜·达盖伊;泽维尔·勒罗伊

CPS转换的机械化验证。 （英语） Zbl 1137.68345号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。《人工智能课堂讲稿》，211-225（2007）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dargaye}和\textit{X.Leroy}，Lect。注释计算。科学。4790211-225（2007年；Zbl 1137.68345）
全文： 内政部 链接
法鲁兹卡马雷丁;亚历杭德罗·雷奥斯

显式替换a la de Bruijn：局部和全局方式。 （英语） Zbl 1264.03044号

Dahn，Ingo（编辑）等人，《数学、逻辑和计算研讨会论文集》（ICALP 2003年卫星活动），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记85，第7期，86-105（2003）。
MSC公司：03B35型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.卡马雷丁}和\textit{A.Ríos}，电子。注释Theor。计算。科学。85，第7号，86-105（2003年；兹bl 1264.03044）
全文： 内政部
法比奥·阿莱西;佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini

交叉点类型和计算规则。 （英语） Zbl 1264.03045号

de Queiroz，Ruy（编辑）等人，《第十届逻辑、语言、信息和计算研讨会论文集》（WoLLIC’2003），Ouro Preto，Minas Gerais，巴西，2003年7月29日至8月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记84，45-59（2003）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Alessi}等人，《电子》。注释Theor。计算。科学。84、45-59（2003年；Zbl 1264.03045）
全文： 内政部
毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁

比较显性替代和eta还原的计算。 （英语） Zbl 1261.03071号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，巴西里约热内卢，里约热内卢天主教大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，76-95（2002）。
MSC公司：03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，《电子》。注释Theor。计算。科学。67、76-95（2002年；Zbl 1261.03071）
全文： 内政部
戈帕兰·纳达图尔

lambda术语的暂停表示法及其在元语言实现中的使用。 （英语） Zbl 1261.68043号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，35-48（2002）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{G.Nadathur}，电子。注释Theor。计算。科学。67、35-48（2002年；Zbl 1261.68043）
全文： 内政部
阮广辉

在ELAN中验证术语重写证明。 （英语） Zbl 1268.68102号

van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，320-340（2001）。
MSC公司：2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Q.-H.Nguyen}，电子。注释Theor。计算。科学。59，第4号，320-340（2001；Zbl 1268.68102）
全文： 内政部
马克·奥利弗·斯特尔

CINNI–显式替换的通用演算及其在（lambda）-、（sigma）-和（pi）-演算中的应用。 （英语） Zbl 0966.68147号

Futatsugi，Kokichi，第三届重写逻辑及其应用国际研讨会，RWLW。金泽市文化厅，金泽，日本，2000年9月18日至20日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。36，23 p.，仅电子版（2000年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.-O.Stehr}，in：第三届重写逻辑及其应用国际研讨会，RWLW。金泽市文化厅，金泽，日本，2000年9月18日至20日。阿姆斯特丹：爱思唯尔。23页（2000年；Zbl 0966.68147）
艾克·里特;瓦莱里亚·德·佩瓦

关于显式替换和名称。 （英语） Zbl 1401.68034号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256248-258（1997）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛E.Ritter｝和\textit｛V.de Paiva｝，Lect。注释计算。科学。1256248-258（1997年；兹bl 1401.68034）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件