×

找到97个文档（结果1-97）

最新的 引文 关联
玛丽贝尔·费尔南德斯;塞巴斯蒂安·莫拉特

高阶port-graph重写。 （英语） 兹比尔1459.68090

Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）101，25-37（2012）。
MSC公司：第68季度第42季度 03B70号 2007年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}和\textit{S.Maulat}，电子。程序。理论。计算。科学。（EPTCS）101，25-37（2012；Zbl 1459.68090）
全文： arXiv公司 链接
中泽，Koji;胜本、新雅

非类型化演算的扩展模型。 （英语） Zbl 1459.68071号

Geuvers，Herman（编辑）等人，第四次经典逻辑和计算研讨会，英国沃里克，2012年7月8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）97，35-47（2012）。
MSC公司：2010年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakazawa}和\textit{S.-Y.Katsumata}，电子。程序。理论。计算。科学。（EPTCS）97，35-47（2012；Zbl 1459.68071）
全文： arXiv公司 链接
安德森·德阿劳约;马塞洛·芬格

经典和量子可满足性。 （英语） Zbl 1458.68072号

Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）81、79-84（2012）。
MSC公司：65年第68季度 03B70号 2012年第68季度 2015年第68季度 81页第10页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.de Araújo}和\textit{M.Finger}，电子。程序。理论。计算。科学。（EPTCS）81，79--84（2012；Zbl 1458.68072）
全文： arXiv公司 链接
克莱门·奥伯特

亚对数统一布尔证明网。 （英语） Zbl 1457.68113号

Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）75，15-27（2012）。
MSC公司：2015年第68季度 03楼52 2006年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，电子。程序。理论。计算。科学。（EPTCS）75，15--27（2012；Zbl 1457.68113）
全文： arXiv公司 链接
彼得·舒斯特

代数归纳法：第一个案例研究。 （英语） Zbl 1364.03086号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。581-585 (2012).
MSC公司：65楼03号 2016年05月 06B10号 2010年1月6日 03E25型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{P.Schuster}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。581-585（2012年；Zbl 1364.03086）
全文： DOI程序
达米亚诺·马扎

无限仿射lambda-calculus与完全lambda-Calculu斯同构。 （英语） Zbl 1364.03022号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。471-480 (2012).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Mazza}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。471--480（2012年；Zbl 1364.03022）
全文： DOI程序
罗伯特·戈德布拉特;马塞尔·杰克逊

结构良好的程序等价性是不可判定的。 （英语） Zbl 1351.68073号

ACM事务处理。计算。日志。 第13号第3条第26条第8页（2012年）.
MSC公司：68号30 03B70号 03天35分 2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Goldblatt｝和\textit｛M.Jackson｝，ACM Trans。计算。日志。13，第3号，第26条，第8页（2012；Zbl 1351.68073）
全文： DOI程序 arXiv公司
马特科·博廷根;迈克·多兹;苏雷什·贾甘纳森

通过诱因进行资源敏感的同步推断。 （英语） Zbl 1321.68165号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。309-322 (2012).
MSC公司：68甲19 03B70号 68号30 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Botingan}等人，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机机械协会（ACM）。309--322（2012年；Zbl 1321.68165）
全文： DOI程序 链接
罗珊·詹姆斯（Roshan P.James）。;萨布里，阿姆尔

信息效果。 （英语） Zbl 1321.68267号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。73-84 (2012).
MSC公司：2005年第68季度 03B70号 81页68
PDF格式BibTeX公司 XML格式引用
\textit{R.P.James}和\textit{A.Sabry}，摘自：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机机械协会（ACM）。73-84（2012年；Zbl 1321.68267）
全文： DOI程序
尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿;简·霍夫曼

有界空间中的高阶函数反应规划。 （英语） Zbl 1321.68171号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。45-58 (2012).
MSC公司：68甲19 03B70号 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{N.R.Krishnaswami}等人，《第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机机械协会（ACM）。45-58（2012；Zbl 1321.68171）
全文： DOI程序
吉安·伊夫·吉拉德

逻辑的规范性。 （英语） Zbl 1314.03051号

彼得·戴布杰尔（编辑）等人，《认识论与本体论》。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格出版社（ISBN 978-94-007-4434-9/hbk；978-94-007-4435-6/ebook）。《逻辑、认识论和科学的统一》27，243-263（2012）。
MSC公司：03楼50 03B40型 2015年3月1日 03楼52 2015年上半年03日 46升10
PDF格式BibTeX公司 XML格式引用
\textit｛J.-Y.Girard｝，日志。Epistemol。统一科学。27、243--263（2012；Zbl 1314.03051）
全文： DOI程序
你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;克斯托，克尔科;朱卡·索米拉;乔尼·维特玛

分布式计算的弱模型，与模态逻辑有关。 （英语） Zbl 1301.68120号

2012年ACM分布式计算原理研讨会论文集，PODC’12，Funchal，葡萄牙，2012年7月16-18日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1450-3）。185-194 (2012).
MSC公司：2005年第68季度 03B70号 68米14 2010年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，摘自：第31届ACM分布式计算原理研讨会论文集，PODC’12，葡萄牙芬查尔，2012年7月16-18日。纽约州纽约市：计算机机械协会（ACM）。185-194（2012；Zbl 1301.68120）
全文： DOI程序 arXiv公司 链接
埃伦·齐利亚克

将单词表示为关系词共轭词的乘积的算法。 （英语） Zbl 1283.20030号

Fine，Benjamin（编辑）等人，《计算和组合群论与密码学》。2011年4月30日至5月1日，美国内华达州拉斯维加斯内华达大学，AMS特别会议：计算代数、群和应用。密码学和网络安全的数学方面，康奈尔大学，美国纽约州伊萨卡，2011年9月10日至11日。普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-0-8218-7563-6/pbk；978-0-82 18-9404-0/ebook）。《当代数学》582187-199（2012）。
MSC公司：20F05型 2010年1月20日 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.Ziliak}，康特姆。数学。582187-199（2012年；Zbl 1283.20030）
全文： DOI程序
沃尔克·迪克特;乔纳森·考什;马库斯·洛伊

Coxeter组和图组中的日志空间计算。 （英语） Zbl 1283.20044号

Fine，Benjamin（编辑）等人，《计算和组合群论与密码学》。2011年4月30日至5月1日，美国内华达州拉斯维加斯内华达大学，AMS特别会议：计算代数、群和应用。密码学和网络安全的数学方面，康奈尔大学，美国纽约州伊萨卡，2011年9月10日至11日。普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-0-8218-7563-6/pbk；978-0-82 18-9404-0/ebook）。《当代数学》582，77-94（2012）。
MSC公司：20层55 2010年1月20日 36楼20层 65年第68季度 68瓦30 2005年5月20日 20层65
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}等人，康泰姆。数学。582，77--94（2012；Zbl 1283.20044）
全文： DOI程序 arXiv公司
加博尔·萨吉

多元代数。 （英语） Zbl 1278.03092号

Andréka，Hajnal（编辑）等，类柱代数和代数逻辑。多德雷赫特：施普林格；布达佩斯：János Bolyai数学学会（ISBN 978-3-642-35024-5/hbk；978-963-9453-15-9/hbk）。博莱学会数学研究22，367-389（2012）。
审核人：Lavinia Ciungu（克雷奥瓦）
MSC公司：03G15年 03G30型 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{G.Sági}，Bolyai Soc.数学。螺柱.22367--389（2012年；Zbl 1278.03092）
查尔斯·麦考伊;约翰·沃尔鲍姆

描述自由群。二： \（\Pi^{0}_{4} 硬度和无（Sigma_2}^{0}）基础。 （英语） Zbl 1325.03037号

事务处理。美国数学。Soc公司。 364，第11号，5729-5734（2012）.
审核人：瓦列里·普利斯科（莫斯科）
MSC公司：03C57号 03C75号 2015年3月1日 20E05年
PDF格式BibTeX公司 XML格式引用
\textit{C.McCoy}和\textit{J.Wallbaum}，翻译。美国数学。Soc.364，No.11，5729--5734（2012；Zbl 1325.03037）
全文： DOI程序
J·卡森。;V·哈里扎诺夫。;J·奈特。;兰格，K。;麦考伊，C。;莫罗佐夫，A。;奎因，S。;萨弗兰斯基，C。;瓦尔鲍姆，J。

描述自由群。 （英语） 兹比尔1302.03045

事务处理。美国数学。Soc公司。 364，第11期，5715-5728（2012）.
审核人：瓦列里·普利斯科（莫斯科）
MSC公司：03C57号 03C75号 2015年3月1日 20K20码 20E05年
PDF格式BibTeX公司 XML格式引用
\textit｛J.Carson｝等人，Trans。美国数学。Soc.364，No.11，5715--5728（2012；Zbl 1302.03045）
全文： DOI程序
Olshanskii，A.Yu。

群的空间函数。 （英语） Zbl 1287.2004年5月

事务处理。美国数学。Soc公司。 364，第9期，4937-4985（2012）.
审核人：Jörg Lehnert（莱比锡）
MSC公司：20F05型 20F06年 2010年1月20日 20层65 20层69 03日第10天 2015年3月1日 03D40号 2015年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Olshanskii}，翻译。美国数学。Soc.364，No.9，4937--4985（2012；Zbl 1287.2004）
全文： DOI程序 arXiv公司
卡马尔·洛达亚

验证的语言理论观点。 （英语） Zbl 1256.68119号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，149-169（2012）。
MSC公司：60年第68季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Lodaya}，IISc Res.Monogr.研究所。序列号。2149-169（2012年；Zbl 1256.68119）
全文： DOI程序
新墨西哥州加拉尼娜。

具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 （英语。俄文原件） Zbl 1257.68151号

程序。计算。柔和。 38，第6期，294-303（2012）; 译自Programmirovanie 38，No.6（2012）。
MSC公司：68瓦40 60年第68季度 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{N.O.Garanina}，程序。计算。柔和。38，第6号，294--303（2012；Zbl 1257.68151）；译自Programmirovanie 38，No.6（2012）
全文： DOI程序
Christian Wagenknecht先生

EAGLE启动辅助。可计算性理论。康托对角化，哥德尔化，图灵机。（EAGLE-Starthilfe、Berechenbarkeits理论、Cantor-Diagonalisierung、Gödelisierug、Turing-Marchine） （德语） Zbl 1257.03001号

EAGLE公司59.莱比锡：Gutenbergplatz Leipzig版（EAGLE）（ISBN 978-3-937219-59-2/pbk）。100页。(2012).
审核人：罗曼·穆拉夫斯基（波兹南）
MSC公司：03-01 03日第10天 03D75号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Wagenknecht}，EAGLE-Starthilfe。Berechenbarkeits理论，Cantor-Diagonalisierung，Gödelisierug，Turing-Marchine。莱比锡：古腾堡广场-莱比锡版（EAGLE）（2012；Zbl 1257.03001）
格鲁埃内特;加比·埃斯库拉;彼得·迪特里克

演变中的液滴计算机中的符号表示。 （英语） Zbl 1374.68216号

Durand-Lose，Jéróme（编辑）等人，《非传统计算和自然计算》。2012年9月3日至7日，第11届国际会议，UCNC 2012，法国奥尔良。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32893-0/pbk）。计算机科学课堂讲稿7445130-140（2012）。
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Gruenert}等人，Lect。注释计算。科学。7445130-140（2012年；Zbl 1374.68216）
全文： DOI程序
安东·坎;Koh-ichiroh Shohda公司;阿基拉·苏亚马

一种基于DNA的分子逻辑门，能够进行各种逻辑操作。 （英语） Zbl 1372.68100号

Stefanovic，Darko（编辑）等人，DNA计算和分子编程。第18届国际会议，DNA 18，丹麦奥胡斯，2012年8月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32207-5/pbk）。计算机科学课堂讲稿7433，86-97（2012）。
MSC公司：2005年第68季度 2010年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Kan}等人，Lect。注释计算。科学。7433，86-97（2012；Zbl 1372.68100）
全文： DOI程序
卡罗·福里亚（Carlo A.Furia）。;迪诺·曼德里奥利;安杰洛·莫尔岑蒂;罗西，马特奥

计算中的建模时间。 （英语） Zbl 1260.68004号

理论计算机科学专著。EATCS系列柏林：施普林格出版社（ISBN 978-3-642-32331-7/hbk；978-3-442-32332-4/电子书）。十六、423页。(2012).
审核人：Florin Manea（柏林）
MSC公司：68-02 68问题85 2005年第68季度 65年第68季度 68瓦40 60年第68季度 37N99型
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Furia}等人，《计算中的建模时间》。柏林：施普林格出版社（2012；Zbl 1260.68004）
全文： DOI程序
Bodlaender，Marijke Hans L。

概率推理和一元二阶逻辑。 （英语） 兹比尔1362.68098

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604，43-56（2012）。
MSC公司：65年第68季度 03B15号机组 2010年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.H.L.Bodlaender}，莱克特。注释计算。科学。7604，43-56（2012；Zbl 1362.68098）
全文： DOI程序
斯特凡尼德劳恩;史蒂夫·克莱默;丹尼尔·帕塞拉

安全协议、约束系统和群论。 （英语） Zbl 1358.68185号

Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学讲义7364。人工智能课堂讲稿，164-178（2012）。
MSC公司：60年第68季度 03B70号 68瓦30 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Delaune}等人，Lect。注释计算。科学。7364，164--178（2012；Zbl 1358.68185）
全文： DOI程序 哈尔
弗拉基克·克里诺维奇

设计、理解和分析非常规计算：逻辑和构造数学的重要作用。 （英语） Zbl 1250.68110号

申请。数学。科学。，俄罗斯 6、编号13-16、629-644（2012）.
审核人：克里斯蒂安·卡鲁德（奥克兰）
MSC公司：2005年第68季度 03A05号 03层60 65楼03号 65G20个 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{V.Kreinovich}，应用。数学。科学。，Ruse 6，No.13--162629-644（2012；Zbl 1250.68110）
全文： 链接
Christopher H.Broadbent。

CPDA图上一阶逻辑可判定性的极限。 （英语） Zbl 1245.68121号

Dürr，Christoph（编辑）等人，STACS 2012。第29届计算机科学理论方面国际研讨会，2012年2月29日至3月3日，法国巴黎。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-35-4）。LIPIcs–莱布尼茨国际信息学会议录14，589-600，仅电子版（2012年）。
MSC公司：65年第68季度 2005年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.H.Broadbent}，LIPIcs——莱布尼茨国际程序。通知。14、589-600（2012；Zbl 1245.68121）
全文： DOI程序
Mazder马里兰州Rahman;杰哈德·杜克（Gerhard W.Dueck）。;阿尼迪塔·班纳吉

使用重新配置的模板优化可逆电路。 （英语） Zbl 1451.81152号

De Vos，Alexis（编辑）等人，《可逆计算》。2011年7月4日至5日，比利时根特，2011年RC第三次国际研讨会。修订论文。柏林：斯普林格。莱克特。注释计算。科学。7165, 43-53 (2012).
MSC公司：81页65 2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Md.M.Rahman}等人，Lect。注释计算。科学。7165，43-53（2012；Zbl 1451.81152）
全文： DOI程序
Jean Lassègue;朱塞佩·隆戈

图灵对机制和写作价值的比较是什么？ （英语） Zbl 1358.03050号

Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日在英国剑桥举行的图灵一百周年会议和第八届欧洲可计算性会议（CiE 2012）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。计算机科学课堂讲稿7318，450-461（2012）。
MSC公司：03日第10天 03-03 03A10号 2005年第68季度 92立方厘米 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{J.Lassègue}和\textit{G.Longo}，莱克特。注释计算。科学。7318、450-461（2012；Zbl 1358.03050）
全文： DOI程序
布鲁斯·埃德蒙兹;卡洛斯·格申森

学习、社会智力和图灵测试。为什么“现成的”图灵机器无法通过图灵测试。 （英语） Zbl 1358.91087号

Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日，图灵百年大会和欧洲第八届可计算性大会，2012年欧洲计算机科学大会，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。《计算机科学讲义》7318，182-192（2012）。
MSC公司：第91页第40页 2005年第68季度 68T05型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.Edmonds}和\textit{C.Gershenson}，莱克特。注释计算。科学。7318、182--192（2012年；Zbl 1358.91087）
全文： DOI程序 arXiv公司
泽纳·M·阿里奥拉。;保罗·唐恩;雨果·赫贝林;Keiko Nakata;亚历克西斯·索林

经典的按需顺序计算：语义假象的统一。 （英语） Zbl 1354.68043号

Schrijvers，Tom（编辑）等人，《函数和逻辑编程》。2012年5月23日至25日，第11届国际研讨会，FLOPS 2012，日本神户。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29821-9/pbk）。《计算机科学讲义》7294，32-46（2012）。
MSC公司：68甲18 03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Z.M.Ariola}等人，Lect。注释计算。科学。7294，32-46（2012；Zbl 1354.68043）
全文： DOI程序 哈尔
Chandrasekhara Rao，K。

离散数学。 （英语） Zbl 1253.05001号

新德里：纳罗莎出版社；牛津：阿尔法科学国际（ISBN 978-81-8487-135-7/pbk；978-1-84265-695-2/pbk）。xiii，第432页。，没有连续分页。(2012).
审核人：沃纳·克莱因茨（柏林）
MSC公司：05-01 03-01 06-01 08-01 第68季度 00A05号
PDF格式BibTeX公司 XML格式引用
\textit{K.Chandrasekhara Rao}，离散数学。新德里：纳罗莎出版社；牛津：阿尔法科学国际（2012；Zbl 1253.05001）
尼克·贝扎尼什维利（编辑）;瓦伦丁·戈兰科（编辑）

关于逻辑和计算的讲座。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。 （英语） Zbl 1248.03007号

计算机科学课堂讲稿7388.柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。vii，第265页。(2012).
MSC公司：03-06 68-06 03B70号 05年3月 2015年3月1日 60年第68季度 68T27型 91A99型 91B14号机组 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}（编辑）和\textit{V.Goranko}（主编），逻辑和计算讲座。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（2012；Zbl 1248.03007）
全文： DOI程序
沃尔克·迪克特;乔纳森·考什;马库斯·洛伊

图组和Coxeter组中的对数空间计算。 （英语） Zbl 1283.20043号

Fernández-Baca，David（编辑），《拉丁语2012：理论信息学》。第十届拉丁美洲研讨会，2012年4月16日至20日，秘鲁阿雷基帕。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29343-6/pbk）。计算机科学课堂讲稿7256，243-254（2012）。
MSC公司：20层55 2010年1月20日 36楼20层 65年第68季度 68瓦30 2005年5月20日 20层65
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}等人，Lect。注释计算。科学。7256，243-254（2012；Zbl 1283.20043）
全文： DOI程序
丹尼尔·戈林;卢茨·施罗德

自恋者很容易，继母很难。 （英语） Zbl 1352.03029号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，240-254（2012）。
MSC公司：03B45号 03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorín}和\textit{L.Schröder}，莱克特。注释计算。科学。72132240-254（2012年；兹bl 1352.03029）
全文： DOI程序
安东·库切拉;安德烈·涅斯

Demuth走向随机性的道路。 （英语） Zbl 1353.03047号

Dinneen，Michael J.（编辑）等人，《计算、物理及其他》。2012年2月21日至24日，新西兰奥克兰，克里斯蒂安·卡鲁德60岁生日之际，举办了2012年WTCS国际理论计算机科学研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-27653-8/pbk）。计算机科学课堂讲稿7160159-173（2012）。
MSC公司：03天32分 03-03 03D78号 03层60 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kučera}和\textit{A.Nies}，莱克特。注释计算。科学。7160159--173（2012年；Zbl 1353.03047）
全文： DOI程序 arXiv公司
奥尔加·哈兰波维奇;阿丽娜·维多维纳

自由群中二次方程解的线性估计。 （英语） Zbl 1257.2004年25月

国际代数计算杂志。 22，第1期，1250004，16页（2012）.
审核人：V.A.Roman'kov（鄂木斯克）
MSC公司：20层70 20E05年 2010年1月20日 68兰特 68瓦30 20层65
PDF格式BibTeX公司 XML格式引用
\textit{O.Kharlampovich}和\textit{A.Vdovina}，国际代数计算杂志。22，第1期，1250004，16页（2012；Zbl 1257.2004）
全文： DOI程序 arXiv公司
亚历杭德罗·格罗索。;何塞·托雷斯（JoséM。Turull Torres）。

\（mathrm{SO}^F）：二阶逻辑及其多项式时间层次的语义限制。 （英语） Zbl 1312.68094号

Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学课堂讲稿7260，116-135（2012）。
MSC公司：19年第68季度 03B15号机组 2005年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Grosso}和\textit{J.M.Turull Torres}，莱克特。注释计算。科学。7260，116--135（2012；Zbl 1312.68094）
全文： DOI程序
赫尔穆特·施维赫滕贝格;斯坦利·韦纳。

证明和计算。 （英语） 兹比尔1294.03006

逻辑观点剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-0-521-51769-0/hbk；978-1-139-03190-5/电子书）。xiii，465页。(2012).
审核人：M.Yasuhara（普林斯顿）
MSC公司：03-02 2015年3月1日 第三天65 2010年1月3日 2015年1月3日 35楼03号 03F40型
PDF格式BibTeX公司 XML格式引用
\textit{H.Schwichtenberg}和\textit{S.S.Wainer}，《证明与计算》。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（2012；Zbl 1294.03006）
全文： DOI程序
法国沙特林

定性计算。非线性的计算之旅。 （英语） Zbl 1251.03001号

新泽西州哈肯萨克：世界科学（ISBN 978-981-4322-92-8/hbk；978-981-14322-93-5/电子书）。xv，582页。(2012).
审核人：克里斯蒂安·卡鲁德（奥克兰）
MSC公司：03-02 68-02 03D75号 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Chatelin}，定性计算。非线性的计算之旅。新泽西州哈肯萨克：《世界科学》（2012；Zbl 1251.03001）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件