×

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

最新的 引文 关联
查尔斯·麦卡蒂

直觉主义的连续性。 （英语） Zbl 1464.01013号

夏皮罗，斯图尔特（编辑）等人，《连续统的历史》。哲学和数学观点。牛津：牛津大学出版社。299-327 (2021).
审核人：Symon Serbenyuk（基辅）
MSC公司：01A60型 03-03 26-03 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{C.McCarty}，收录于：continua的历史。哲学和数学观点。牛津：牛津大学出版社。299--327（2021；Zbl 1464.01013）
全文： 内政部
狮子，Clément

直觉主义的主体间性对话。 （英语） Zbl 1469.03021号

Weiss，Christina（编辑），《建构语义学》。现象学和建构主义之间的意义。基于2016年9月30日至10月1日在德国弗里德里希沙芬举行的研讨会。查姆：斯普林格。日志。认识论。统一科学。44, 95-120 (2019).
MSC公司：03A05号 03楼55
PDF格式BibTeX公司 XML格式引用
\textit{C.Lion}，日志。认识论。统一科学。44，95-120（2019年；兹bl 1469.03021）
全文： 内政部
约翰·L·凯利。

一般拓扑。范诺斯特兰德出版的1955年原版的再版。 （英语） Zbl 1358.54001号

纽约州米尼奥拉：多佛出版社（ISBN 978-0-486-81544-2）。十四、298。(2017).
MSC公司：54-01 54E15型 54E35个 03-01 03E30年 03E25型 03E20型 54A05型 54A20型 54个B05 54号B15 54B10号 54二氧化碳 54立方厘米 54立方厘米 54天xx
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Kelley}，一般拓扑。范诺斯特兰德出版的1955年原版的再版。纽约州米诺拉市：多佛出版社（2017；Zbl 1358.54001）
文森特·拉里

发挥Nuprl的开放性。 （英语） Zbl 1434.68644号

Greuel，Gert Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 18-27 (2016).
MSC公司：68伏15 03B35型 03E25型 03层60 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}，莱克特。注释计算。科学。9725，18-27（2016；Zbl 1434.68644）
全文： 内政部 链接
亚历克桑德拉·斯威尔茨;埃德蒙·伯克（Edmund K.Burke）。;萨尼亚·齐琴斯基;托马斯·苏尔科夫斯基;Blazewicz，杰塞克

超神经科学的统一编码及其在生物信息学中的应用。 （英语） Zbl 1339.90342号

CEJOR，美分。欧洲药典。物件。 22，第3期，567-589（2014）.
MSC公司：90 C59 90C27型 68周01 92D20型 05C85号 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Swiercz}等人，CEJOR，Cent。欧洲药典。第22号决议，第3号，567--589（2014；Zbl 1339.90342）
全文： 内政部
德克·范·达伦

1907年的革命——布劳沃的论文。 （英语） Zbl 1198.01023号

Ran，André（编辑）等人，欧洲数学大会。第五届ECM大会会议记录，荷兰阿姆斯特丹，2008年7月14日至18日。苏黎世：欧洲数学学会（EMS）（ISBN 978-3-03719-077-7/hbk）。213-230 (2010).
审核人：R.W.van der Waall（惠曾）
MSC公司：01A60型 03-03
PDF格式BibTeX公司 XML格式引用
\textit{D.van Dalen}，in：欧洲数学大会。第五届ECM大会会议记录，荷兰阿姆斯特丹，2008年7月14-18日。苏黎世：欧洲数学学会（EMS）。213--230（2010年；Zbl 1198.01023）
马卡洛夫，V.L。;德姆基夫，I.I。

插值积分连分式与插值分支连分式的连接。 （乌克兰语、英语） Zbl 1199.40011号

Mat.Metody Fiz公司-墨西哥。波利亚 51，第3号，13-20（2008）; J.Math中的翻译。科学。，纽约165，No.2，171-180（2010）。
审核人：L.N.Chernetskaja（基辅）
MSC公司：40A05型 40甲15
PDF格式BibTeX公司 XML格式引用
\textit{V.L.Makarov}和\textit{I.Demkiv}，Mat.Metody Fiz-墨西哥。Polya 51，No.3，13--20（2008；Zbl 1199.40011）；J.Math中的翻译。科学。，纽约165，No.2，171--180（2010）
德克·范·达伦

Brouwer宇宙的快照。 （英语） Zbl 1196.03081号

皮埃尔·乔雷（编辑），《逻辑主义和数学基础的当代观点》。基于2005年4月在瑞士诺伊查泰尔举行的当代逻辑主义观点会议。Neuchâtel：Neuchâtel大学，Sémiologiques研究中心。Travaux de Logique公司。Recherches Sémiologiques中心18，1-14（2007年）。
审核人：Teun Koetsier（阿姆斯特丹）
MSC公司：03楼55 00A30型 01A60型 03-03
PDF格式BibTeX公司 XML格式引用
\textit{D.van Dalen}，特拉夫。日志。，美分。里奇。塞米奥。18、1-14（2007；Zbl 1196.03081）
马克·范·艾登

布劳沃会见胡塞尔。关于选择序列的现象学。 （英语） Zbl 1119.03001号

合成库335.多德雷赫特：施普林格（ISBN 1-4020-5086-0/hbk）。xiii，第191页。(2007).
审核人：维克托·潘布奇（多特蒙德）
MSC公司：2002年3月 03-03 03A05号 03楼55 00A30型 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.van Atten}，布劳沃遇见胡塞尔。关于选择序列的现象学。多德雷赫特：施普林格（2007；Zbl 1119.03001）
乌尔里希·伯杰;莫尼卡·塞森伯格

归纳定义和选择原则在程序综合中的应用。 （英语） Zbl 1096.03068号

Crosilla，Laura（编辑）等人，《从集合和类型到拓扑和分析》。构建数学的实用基础。基于研讨会，意大利威尼斯，2003年5月12日至16日。牛津：牛津大学出版社（ISBN 0-19-856651-4/hbk）。《牛津逻辑指南》48137-148（2005）。
MSC公司：03财年03 65楼03号 03B35型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{U.Berger}和\textit{M.Seisenberger}，Oxf。逻辑指南48，137--148（2005；Zbl 1096.03068）
马克·范·艾登

布劳沃。 （英语） Zbl 1072.03005号

华兹华斯哲学家系列。加利福尼亚州贝尔蒙特：华兹华斯/汤姆森学习（ISBN 0-534-60993-7/pbk）。viii，95页。（2004年）。
审核人：维克托·潘布奇（凤凰城）
MSC公司：03-03 03A05号 03楼55 01A70号 03-01 2002年3月 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.van Atten}，关于布鲁沃。加利福尼亚州贝尔蒙特：Wadsworth/Thomson Learning（2004年；Zbl 1072.03005）
马哈德夫，N.V.R。;弗雷德·罗伯茨。

共识列出了图形的着色和DNA的物理映射。 （英语） Zbl 1038.05058号

Janowitz，M.F.（编辑）等人，《生物共识》。DIMACS生物一致性工作组会议，2000年10月25日至26日和2001年10月2日至5日，DIMACS中心。普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3197-6/hbk）。DIMACS系列。离散数学。西奥。计算。科学。61, 83-95 (2003).
MSC公司：05C90年 05C15号 91B14号机组 92D10型 92D15型 92D20型
PDF格式BibTeX公司 XML格式引用
\textit{N.V.R.Mahadev}和\textit{F.S.Roberts}，DIMACS，Ser。离散数学。西奥。计算。科学。61、83-95（2003年；Zbl 1038.05058）
德克·范·达伦;马克·范·艾登

直觉主义。 （英语） Zbl 1058.03012号

Dale Jacquette（编辑），哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社（ISBN 0-631-21671-5/hbk）。布莱克韦尔同伴菲洛斯（Blackwell Companions Philos）。22, 513-530 (2002).
审核人：Teun Koetsier（阿姆斯特丹）
MSC公司：03A05号 03楼55
PDF格式BibTeX公司 XML格式引用
\textit{D.van Dalen}和\textit{M.van Atten}，in：哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社。513--530（2002；Zbl 1058.03012）
德克·范·达伦

语言和逻辑在布鲁沃作品中的作用。 （英语） Zbl 0918.01015号

或者，埃瓦·奥斯卡（编辑），《工作中的逻辑》。纪念海伦娜·拉西奥瓦的散文。海德堡：Physica-Verlag。模糊软计算研究。第24页，第3-14页（1999年）。
审核人：V.佩克豪斯（爱尔兰根）
MSC公司：01A60型 00A30型 03-03 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{D.van Dalen}，Stud.模糊软计算。24、3-14（1999；Zbl 0918.01015）
米歇尔·范·兰巴金

集合论中的独立结构。 （英语） Zbl 0863.03027号

Hodges，Wilfrid（编辑）等人，《逻辑：从基础到应用》。欧洲逻辑学术讨论会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。277-311 (1996).
审核人：S.Gottwald（莱比锡）
MSC公司：03E65年 03E25型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{M.van Lambalgen}，in：逻辑：从基础到应用。欧洲逻辑座谈会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。277--311（1996年；Zbl 0863.03027）
菲利普·斯考克罗夫特

直觉分析的析取和数值存在性。 （英语） Zbl 0827.03036号

Crossley，John N.（编辑）等人，《逻辑方法》。为了纪念阿尼尔·内罗德60岁生日。巴塞尔：Birkhä用户。掠夺。计算。科学。申请。日志。12, 747-781 (1993).
审核人：H.Pfeiffer（汉诺威）
MSC公司：03楼55
PDF格式BibTeX公司 XML格式引用
\textit{P.Scowcroft}，程序。计算。科学。申请。日志。12、747--781（1993；Zbl 0827.03036）
玛格丽特·威根

布劳沃关于连续体作为不定语音模型的概念。（Brouwers Auffassung vom Kontinuum als ein Modell zur Einführung indefiner Rede） （德语） Zbl 0706.03002号

亚琛：亚琛公路，菲洛斯。传真：。，异议。iv，《美国法典》第278卷（1989年）。
审核人：沃尔夫冈·伦岑（奥斯纳布吕克）
MSC公司：03A05号 03楼55 03-03 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Wiegand}，Brouwers Auffassung vom Kontinuum als ein Modell zur Einführung indefiner Rede。亚琛：亚琛公路，菲洛斯。法克。（1989年；兹bl 0706.03002）
Troelstra，A.S。;范·达伦（D.van Dalen）。

数学中的建构主义。引言。第二卷。 （英语） Zbl 0661.03047号

逻辑与数学基础研究, 123. 阿姆斯特丹等地：荷兰北部。xvii，p.345-879附录。$86.75; 英国国防部。165.00 (1988).
审核人：B.van Rootselaar公司
MSC公司：03楼50 03楼55 03层60 2002年3月 03-01 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Troelstra}和\textit{D.van Dalen}，数学中的建构主义。引言。第二卷。阿姆斯特丹等地：北荷兰（1988年；Zbl 0661.03047）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件