×

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

最新的 引文 关联
马蒂亚斯·德顿（编辑）;托马斯·卡勒（编辑）;Sullivant，赛斯（编辑）;卡罗琳·尤勒（编辑）

统计方法中的代数结构。2022年12月4日至10日举行的研讨会摘要。 （英语） Zbl 1521.00014号

Oberwolfach代表。 19，第4期，3121-3170（2022）.
MSC公司：00亿05 00B25型 62-01 13-06 62卢比 62H22个 10层62层 62G05型 62页第10页 62第20页 第13页，共15页 14米25 2014年第20季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Drton}（编辑）等人，Oberwolfach Rep.19，No.4，3121-3170（2022；Zbl 1521.00014）
全文： DOI程序
斯特凡诺·阿尔布雷赫特（Stefano V.Albrecht）。（编辑）;彼得·斯通（编辑）;迈克尔·P·威尔曼。（编辑）

关于自主代理模拟其他代理的特刊：客座编辑。 （英语） Zbl 1451.68016号

Artif公司。智力。 285，文章ID 103292，2 p.（2020）.
MSC公司：68-06 68T42型 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.V.Albrecht}（编辑）等，Artif。智力。285，文章ID 103292，2 p.（2020；Zbl 1451.68016）
全文： DOI程序
欧内斯特·戴维斯

验证技术和基础物理。 （英语） Zbl 1454.68162号

Nicolas Fillion等人，《数学、认识论和科学中的算法和复杂性》。2015年和2016年ACMES会议记录，英国伦敦。精选论文。纽约州纽约市：斯普林格；多伦多：菲尔兹数学科学研究所。字段Inst.Commun。82, 81-132 (2019).
MSC公司：68伏15 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{E.Davis}，Fields Inst.Commun公司。82、81-132（2019年；Zbl 1454.68162）
全文： DOI程序
反向链接： 卫生官员
弗朗西斯科·福斯卡林;佛罗伦萨·杰克马尔;菲利普·里戈;Masahiko酒井

一个基于语法的框架，用于耦合节奏量化和分数结构。 （英语） Zbl 1456.00068号

玛丽亚娜·蒙蒂尔（编辑）等，《音乐中的数学和计算》。第七届国际会议，2019年6月18日至21日，西班牙马德里，会议记录。查姆：斯普林格。莱克特。票据计算。科学。11502248-260（2019年）。
MSC公司：00A65号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Foscarin}等人，Lect。票据计算。科学。11502、248-260（2019；Zbl 1456.00068）
全文： DOI程序 哈尔
彼得·萨多夫斯基;皮埃尔·巴尔迪

自然科学的深度学习：物理应用。 （英语） Zbl 1518.68342号

列夫·罗佐纳（编辑）等人，《机器学习中的布拉弗曼阅读》。从一开始到目前状态的关键想法。2017年4月28日至30日在美国马萨诸塞州波士顿举行的纪念艾曼纽尔·布拉夫曼逝世40周年国际会议。受邀会谈。查姆：斯普林格。莱克特。票据计算。科学。11100, 269-297 (2018).
MSC公司：68T07型 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{P.Sadowski}和\textit{P.Baldi}，莱克特。票据计算。科学。11100，269--297（2018；Zbl 1518.68342）
全文： DOI程序
托马斯·范·迪克。;马丁·芬克;诺伯特·菲舍尔;费比安·利普;彼得·马克费尔德;亚历山大·拉夫斯基;苏里、苏巴什;亚历山大·沃尔夫

故事线可视化中的块交叉。 （英语） Zbl 1478.68266号

Hu，Yifan（ed.）等人，《图形绘制与网络可视化》。2016年9月19-21日在希腊雅典举行的2016年GD第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9801, 382-398 (2016).
MSC公司：68兰特 00A64号 2017年第68季度 68单位05 68周05 68周25
PDF格式BibTeX公司 XML格式引用
\textit{T.C.van Dijk}等人，Lect。票据计算。科学。9801382--398（2016；Zbl 1478.68266）
全文： DOI程序 arXiv公司
Luis A.Urtubey。;阿尔巴马索洛

将CHC模型应用于小说推理。 （英语） Zbl 1437.03035号

Laurent，Anne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。2014年7月15日至19日，第15届国际会议，IPMU 2014，法国蒙彼利埃。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。443, 526-535 (2014).
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Urtubey}和\textit{A.Massolo}，Commun。计算。信息科学。443526-535（2014年；Zbl 1437.03035）
全文： DOI程序 链接
帕特里克·阿洛;让·保罗·范本德根;巴特·范·克霍夫

数学论证和分布式知识。 （英语） 邮编1355.00009

安德鲁·阿伯丁（编辑）等人，《数学的论证》。多德雷赫特：施普林格（ISBN 978-94-007-6533-7/hbk；978-94-07-6534-4/电子书）。《逻辑、认识论和科学的统一》30，339-360（2013）。
MSC公司：00A35型 00A30型 97E50型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Allo｝等人，日志。认识论。统一科学。30、339--360（2013；Zbl 1355.00009）
全文： DOI程序
德奥塔维亚诺，伊塔拉·玛丽亚·洛夫雷多（编辑）

第十四届拉丁美洲数学逻辑研讨会（SLALM），由符号逻辑协会联合主办，巴西帕拉蒂，2008年5月11日至17日。 （英语） Zbl 1170.03306号

牛市。符号。日志。 15，第3期，332-376（2009）.
MSC公司：2006年3月 00亿05
PDF格式BibTeX公司 XML格式引用
\textit｛I.M.L.D‘Ottaviano｝（编辑），公牛。符号。日志。15，第3号，332--376（2009；Zbl 1170.03306）
全文： DOI程序
配件，梅尔文

有理由的推理。 （英语） Zbl 1166.03006号

戴维·梅金森（编辑）等人，《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：施普林格出版社（ISBN 978-1-4020-9083-7/hbk；978-1-4020-9084-4/电子书）。逻辑趋势——Studia Logica Library 28，107-123（2009）。
审核人：Max A.Freund（圣何塞）
MSC公司：03B42号 00A30型 03A05号 03B45号 03英尺40英寸
PDF格式BibTeX公司 XML格式引用
\textit{M.Fitting}，in：走向数学哲学。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。107-123（2009年；Zbl 1166.03006）
全文： DOI程序
呃，雷迪姆;彼得·索伊卡

数学知识的自动分类。 （英语） Zbl 1166.68358号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，543-557（2008）。
MSC公司：68立方英尺 00A35型 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{R.ehřek}和textit{P.Sojka}，Lect。票据计算。科学。5144、543--557（2008年；Zbl 1166.68358）
全文： DOI程序 链接
乔治·博恩;布莱恩，马丁;玛丽娜·德沃斯;约翰·菲奇

通过答案集编程自动合成旋律和和声音乐。 （英语） Zbl 1185.68148号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。《计算机科学讲义》5366160-174（2008）。
MSC公司：68N17号 00A65号
PDF格式BibTeX公司 XML格式引用
\textit{G.Boenn}等人，Lect。票据计算。科学。5366、160-174（2008年；Zbl 1185.68148）
全文： DOI程序 链接
阿兰·邦迪

推理科学：扩展抽象。 （英语） Zbl 1509.68298号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。449, 633-640 (1990).
MSC公司：68伏15 00A35型 03B35型 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Bundy}，莱克特。票据计算。科学。449633-640（1990年；兹比尔1509.68298）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件