×

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

最新的 引文 关联
迪米特拉·布鲁;马尔科·舍勒默;Enric广场

图表推理中的图像模式和概念融合：哈斯图案例。 （英语） Zbl 1496.68311号

Basu，Amrita（编辑）等人，《图解表示和推理》。第十二届国际会议，图表2021，虚拟，2021年9月28日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12909, 297-314 (2021).
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Bourou}等人，Lect。注释计算。科学。12909，297--314（2021；Zbl 1496.68311）
全文： 内政部
OA许可证
马西娅·塞里奥利。;莱安德罗·苏吉塔尼;彼得鲁西奥·维亚纳

呈现基本图形逻辑。 （英语） Zbl 1514.03045号

Basu，Amrita（编辑）等人，《图解表示和推理》。第十二届国际会议，图表2021，虚拟，2021年9月28日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12909, 132-148 (2021).
MSC公司：03B60号
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Cerioli}等人，Lect。注释计算。科学。12909、132--148（2021；Zbl 1514.03045）
全文： 内政部
米查·索坎斯基

用数学图表进行实验。 （英语） Zbl 1514.00015号

Pietarinen，Ahti-Veikko（编辑）等人，《图解表示和推断》。第十一届国际会议，图表2020，爱沙尼亚塔林，2020年8月24-28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12169, 507-510 (2020).
MSC公司：00年3月35日 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Sochan n ski}，莱克特。注释计算。科学。12169，507--510（2020；Zbl 1514.00015）
全文： 内政部
马克斯·鲍蒂斯塔·洛佩斯·阿兹纳尔

带有中间量词的三段论在马洛逻辑图中求解。 （英语） Zbl 1514.03009号

Pietarinen，Ahti-Veikko（编辑）等人，《图解表示和推断》。第十一届国际会议，图表2020，爱沙尼亚塔林，2020年8月24-28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12169, 473-476 (2020).
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{M.B.L.Aznar}，莱克特。注释计算。科学。12169、473-476（2020年；Zbl 1514.03009）
全文： 内政部
杰西卡·卡特

关系逻辑与图解推理：查尔斯·桑德斯·皮尔斯作品中的结构主义元素。 （英语） Zbl 1498.03012号

埃里希·雷克（编辑）等人，《数学结构主义的史前史》。牛津：牛津大学出版社。日志。计算。菲洛斯。，241-272 (2020).
MSC公司：03A05号 03-03 01A55号
PDF格式BibTeX公司 XML格式引用
\textit{J.Carter}，in：数学结构主义的史前史。牛津：牛津大学出版社。241--272（2020；Zbl 1498.03012）
全文： 内政部
何塞·马丁·卡斯特罗·曼扎诺

用拼图绘制的Syllost。 （英语） Zbl 1528.03019号

查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，第十届国际会议，图表2018，英国爱丁堡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 657-671 (2018).
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Castro-Manzano}，莱克特。注释计算。科学。10871、657--671（2018；Zbl 1528.03019）
全文： 内政部
哈维尔·莱格里斯

存在图是结构推理的基础。 （英语） Zbl 1528.03043号

查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 590-597 (2018).
MSC公司：03A05号 03B10号机组 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Legris}，莱克特。注释计算。科学。10871、590--597（2018；Zbl 1528.03043）
全文： 内政部
米查·索坎斯基

解释图表推理——在经验主义和现实主义之间。 （英语） Zbl 1514.00016号

查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 172-179 (2018).
MSC公司：00年3月35日 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Sochan n ski}，莱克特。注释计算。科学。10871、172--179（2018；Zbl 1514.00016）
全文： 内政部
克利斯朵夫·埃克斯;瓦莱丽娅·贾迪诺

图表的分类功能：来自数学的两个例子。 （英语） Zbl 1517.57005号

查普曼（Peter Chapman，编辑）等人，《图解表示和推理》。2018年6月18日至22日，英国爱丁堡，第十届国际会议，图表2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10871, 120-136 (2018).
MSC公司：57 K10 17B99号 00A35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Eckes}和\textit{V.贾迪诺}，莱克特。注释计算。科学。10871、120--136（2018；Zbl 1517.57005）
全文： 内政部
丹妮尔·麦克白

数学和逻辑证明。 （英语） Zbl 1418.03021号

Arazim，Pavel（编辑）等人，《2017年逻辑年鉴》。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。197-208 (2018).
MSC公司：03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{D.Macbeth}，收录于：《2017年逻辑年鉴》。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。197-208（2018；Zbl 1418.03021）
Gijs Jasper，Wijnholds

组合分布语义中的连贯图表推理。 （英语） Zbl 1496.03267号

朱丽叶·肯尼迪（编辑）等人，《逻辑、语言、信息和计算》。2017年7月18日至21日在英国伦敦举行的2017年WoLLIC第24届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10388, 371-386 (2017).
MSC公司：03G30型 2005年5月18日
PDF格式BibTeX公司 XML格式引用
\textit{G.J.Wijnholds}，莱克特。注释计算。科学。10388、371--386（2017年；Zbl 1496.03267）
全文： 内政部
鲍勃·科克;亚历克斯·基辛格

描绘量子过程。量子理论和图解推理的第一门课程。 （英语） Zbl 1405.81001号

剑桥：剑桥大学出版社（ISBN 978-1-107-10422-8/hbk；978-1-316-21931-7/电子书）。十七、827页。(2017).
审核人：哈伊姆·基洛夫（米林顿）
MSC公司：81-01 81第05页 00A79号 97M50型 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{B.Coecke}和\textit{A.Kissinger}，描绘量子过程。量子理论和图解推理的第一门课程。剑桥：剑桥大学出版社（2017；Zbl 1405.81001）
全文： 内政部
瓦莱里亚·贾迪诺

基于实践的图表方法。 （英语） Zbl 1401.00025号

Moktefi，Amirouche（编辑）等人，《用图表进行视觉推理》。巴塞尔：Birkhäuser/施普林格出版社（ISBN 978-3-0348-0599-5/pbk；978-3-0348-00600-8/ebook）。《通用逻辑研究》，135-151（2013）。
MSC公司：00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{V.Giardino}，in：用图表进行视觉推理。巴塞尔：Birkhäuser/Springer。135-151（2013；Zbl 1401.00025）
全文： 内政部
斯台普顿，宝石;豪斯，约翰;西蒙·汤普森;约翰·泰勒;彼得·查普曼

关于用常数扩充的蜘蛛图的完整性。 （英语） Zbl 1401.03031号

Moktefi，Amirouche（编辑）等人，《用图表进行视觉推理》。巴塞尔：Birkhäuser/Springer（ISBN 978-3-0348-0599-5/pbk；978-3-0.348-0600-8/电子书）。《通用逻辑研究》，101-133（2013）。
MSC公司：03B20型 03B60号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{G.Stapleton}等人，in：用图表进行视觉推理。巴塞尔：Birkhäuser/Springer。101--133（2013；Zbl 1401.03031）
全文： 内政部 链接
杰根·菲舍尔·尼尔森

用类和关系进行图解推理。 （英语） Zbl 1401.03029号

Moktefi，Amirouche（编辑）等人，《用图表进行视觉推理》。巴塞尔：Birkhäuser/Springer（ISBN 978-3-0348-0599-5/pbk；978-3-0.348-0600-8/电子书）。《通用逻辑研究》，83-100（2013）。
MSC公司：03B10号机组 03B70号 03B65号 68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Nilsson}，in：用图表进行视觉推理。巴塞尔：Birkhäuser/Springer。83-100（2013年；Zbl 1401.03029）
全文： 内政部
贝尼亚米·阿卡托利

显式替换的抽象因式分解定理。 （英语） 兹比尔1437.68038

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 6-21 (2012).
MSC公司：68甲18 03B40型 03楼52 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。15、6--21（2012；Zbl 1437.68038）
全文： 内政部
保罗·曼科苏（编辑）
[马库斯·贾昆托;肯尼思·曼德斯;约翰内斯·哈夫纳;迈克尔·德特莱夫森;迈克尔·哈雷特;杰米·塔潘登;杰里米·阿维加德;科林·麦克拉蒂;阿拉斯代尔·厄克哈特]

数学实践的哲学。2008年原版的平装本。 （英语） Zbl 1230.03004号

牛津：牛津大学出版社（ISBN 978-0-19-964010-2/pbk）。xi，第447页。(2011).
MSC公司：03-02 03-03 03-06 00A30型 01A55号 01A60型 03A05号 18-03 51-03
PDF格式BibTeX公司 XML格式引用
\textit{P.Mancosu}（编辑），数学实践哲学。2008年原版的平装本。牛津：牛津大学出版社（2011；Zbl 1230.03004）
全文： 内政部
丹妮尔·麦克白

欧几里德元素中的图解推理。 （英语） Zbl 1219.00013号

Van Kerkhove，Bert（编辑）等人，《数学实践的哲学观点》。2007年3月26日至28日，布鲁塞尔自由大学，第二届数学实践观点会议论文（PMP2007）。伦敦：学院出版物（ISBN 978-1-904987-59-8/hbk）。《哲学文本》12，235-267（2010）。
审核人：维克托·潘布奇（凤凰城）
MSC公司：00A30型 01A20号 03A05号 03B30型
PDF格式BibTeX公司 XML格式引用
\文本{D.Macbeth}，文本Philos。12、235--267（2010；Zbl 1219.00013）
塞尔吉奥·舒尔茨

图表、可视化和操作约束。 （英语） Zbl 1227.03043号

卡尼埃利，沃尔特（编辑）等，《逻辑的多方面》。2008年5月11日至17日，在巴西帕拉蒂举行的同时举行的会议“CLE 30——逻辑、认识论和科学史中心30周年”、“第十五届EBL——第十五届巴西逻辑会议”和“第十四届SLALM——第十四届拉丁美洲数理逻辑研讨会”的论文选集。伦敦：学院出版物（ISBN 978-1-904987-78-9/pbk）。《逻辑研究》（伦敦）21，307-319（2009）。
MSC公司：03B99号
PDF格式BibTeX公司 XML格式引用
\textit{S.Schultz}，螺柱日志。（伦敦）21307--319（2009；Zbl 1227.03043）
里卡多·伯纳尔·布埃诺;戴维·麦西亚斯·莫拉;马尔多纳多·格拉纳多斯，路易斯·法昆多;格洛丽亚·罗德里格斯·德·格拉纳多斯;塞拉诺·伊格莱西亚斯（Edel Serrano Iglesias）

对比语言、形式和图表表示对数学问题解决的影响。 （西班牙语。英文摘要） Zbl 1189.00021号

马特·恩塞涅。大学（N.S.） 17，第1号，57-69（2009）.
MSC公司：00A35型 97立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Bernal Bueno}等人，Mat.，Enseñ。大学（N.S.）17，编号1，57--69（2009；Zbl 1189.00021）
保罗·曼科苏（编辑）
[马库斯·贾昆托;肯尼思·曼德斯;约翰内斯·哈夫纳;迈克尔·德特莱夫森;迈克尔·哈雷特;杰米·塔潘登;杰里米·阿维加德;科林·麦克拉蒂;阿拉斯代尔·厄克哈特]

数学实践的哲学。 （英语） Zbl 1163.03001号

牛津：牛津大学出版社（ISBN 978-0-19-929645-3/hbk）。xi，第447页。(2008).
审核人：维克多·V·潘布西安（凤凰城）
MSC公司：03-02 03-03 03-06 00A30型 01A55号 01A60型 03A05号 18-03 51-03
PDF格式BibTeX公司 XML格式引用
\textit{P.Mancosu}（编辑），数学实践哲学。牛津：牛津大学出版社（2008；Zbl 1163.03001）
安德鲁·费什;豪斯，约翰

朝向约束图的默认读数。 （英语） Zbl 1091.68601号

Blackwell，Alan（编辑）等人，《图解表示和推理》。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21268-X/pbk）。计算机科学2980课堂讲稿。人工智能课堂讲稿，51-65（2004）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Fish}和\textit{J.Howse}，莱克特。注释计算。科学。2980，51-65（2004年；兹bl 1091.68601）
全文： 内政部
村田聪

图解信息在几何定理发现中的作用。 （英语） Zbl 1091.68595号

Blackwell，Alan（编辑）等人，《图解表示与推理》。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21268-X/pbk）。计算机科学讲义2980。人工智能课堂讲稿，235-238（2004）。
MSC公司：68吨15 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{T.Murata}，莱克特。注释计算。科学。2980235-238（2004年；Zbl 1091.68595）
全文： 内政部
贝内德克·纳吉;杰拉德·奥尔文

图和谜题中的非单调性。 （英语） Zbl 1091.68604号

Blackwell，Alan（编辑）等人，《图解表示和推理》。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21268-X/pbk）。计算机科学2980课堂讲稿。人工智能课堂讲稿，82-96（2004）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}和\textit{G.Allwein}，莱克特。注释计算。科学。298082-96（2004年；Zbl 1091.68604）
全文： 内政部
托马斯·巴考斯基

地理知识的心理加工。 （英语） Zbl 1042.68703号

Daniel R.Montello（编辑），空间信息理论。地理信息科学基础。第五届国际会议，COSIT 2001，美国加利福尼亚州莫罗湾，2001年9月19-23日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42613-2）。莱克特。注释计算。科学。2205, 371-386 (2001).
MSC公司：68单位99 68单位05 68单位35 91E10型
PDF格式BibTeX公司 XML格式引用
\textit{T.Barkowsky}，莱克特。注释计算。科学。2205371-386（2001；Zbl 1042.68703）
全文： 链接
申善珠

对抗beta图的象似性。 （英语） Zbl 0973.03044号

迈克尔·安德森（编辑）等人，《图表的理论和应用》。2000年9月1日至3日在苏格兰爱丁堡举行的2000年图表第一届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1889, 58-73 (2000).
MSC公司：03B99号 68T27型
PDF格式BibTeX公司 XML格式引用
\文本｛S.-J.Shin｝，Lect。注释计算。科学。1889年，58-73年（2000年；Zbl 0973.03044）
金·万豪酒店;伯恩德·梅耶

用于图表解释的非标准逻辑。 （英语） Zbl 0973.03042号

迈克尔·安德森（编辑）等人，《图表的理论和应用》。2000年9月1日至3日在苏格兰爱丁堡举行的2000年图表第一届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1889, 42-57 (2000).
MSC公司：03B70号 68T27型 2012年第68季度 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{K.Marriott}和\textit{B.Meyer}，莱克特。注释计算。科学。1889，42-57（2000；Zbl 0973.03042）
豪斯，约翰;费尔南多·莫利纳;约翰·泰勒

蜘蛛图系统的完整性和表达性。 （英语） Zbl 0973.03065号

迈克尔·安德森（编辑）等人，《图表的理论和应用》。2000年9月1日至3日在苏格兰爱丁堡举行的2000年图表第一届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1889, 26-41 (2000).
MSC公司：03E20型 68号30 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Howse｝等人，Lect。注释计算。科学。1889，26-41（2000；Zbl 0973.03065）
丹·多尔蒂;克劳迪奥·古铁雷斯

二元关系理论的范式和约简。 （英语） 兹比尔0964.03069

Leo Bachmair（编辑），重写技术和应用。第11届国际会议，2000年7月10日至12日，英国诺维奇，RTA 2000。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1833, 95-109 (2000).
MSC公司：03G15年 2012年第68季度 18立方厘米 03B25号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Dougherty}和\textit{C.Gutiérrez}，莱克特。注释计算。科学。1833，95-109（2000；Zbl 0964.03069）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件