×

找到163个文档（结果1-100）

最新的 引文 关联
西尔维娅·比安奇

本体论的依赖性和薄弱的数学结构主义的基础。 （英语） Zbl 07598439号

Oliveri，Gianluigi（编辑）等人，《对象、结构和逻辑》。FilMat研究数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。339, 175-198 (2022).
MSC公司：03年XX月 00A30型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bianchi｝，波士顿种马。Philos。历史。科学。339175-198（2022年；Zbl 07598439）
全文： 内政部
尤利亚·利勒;贾斯汀·罗宾斯

DualGrounder：通过紧贴多快照框架进行惰性实例化。 （英语） Zbl 07437057号

Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 435-441 (2021).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lierler}和\textit{J.Robbins}，莱克特。注释计算。科学。12678、435--441（2021；Zbl 07437057）
全文： 内政部
弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari

带有过接地的增量答案集编程。 （英语） Zbl 1434.68555号

理论与实践。日志。程序。 19，编号5-6，957-973（2019）.
MSC公司：第68页第27页 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛F.Calimeri｝等人，《理论与实践》。日志。程序。19，编号5--6957-973（2019；兹bl 1434.68555）
全文： 内政部 arXiv公司
理查德·塔普;安东尼乌斯·温齐尔;格哈德·弗里德里希

接地时的懒惰程度。懒惰化策略对ASP解决的影响。 （英语） Zbl 1522.68115号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 298-311 (2019).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Taupe}等人，Lect。注释计算。科学。11481298-31（2019年；兹比尔1522.68115）
全文： 内政部 arXiv公司
阿德南·穆杰齐诺维奇;内迪斯·道巴什奇;伊尔凡·图尔科维奇

垂直分层土壤中接地系统的建模。 （英语） 兹比尔1418.78007

Cheng，Alexander H.-D.（编辑）等，《边界元和其他网格缩减方法XXXXI》。根据2018年9月11日至13日在英国新森林举行的第41届国际会议（BEM/MRM）上的演示文稿选出的论文。南安普顿：WIT出版社。WIT传输。工程科学。122, 73-84 (2019).
MSC公司：78M15型 74S15型 65号38 74英尺15英寸 74升10 78A55型 60年第35季度 45B05型 65N80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Mujezinović}等人，WIT Trans。工程科学。122、73-84（2019年；Zbl 1418.78007）
全文： 链接
Jönne Kriener

博尔扎诺。 （英语） Zbl 1386.03004号

亚历克斯·马尔帕斯（编辑）等人，《哲学和形式逻辑的历史》。从亚里士多德到塔斯基。纽约州纽约市：布卢姆斯伯里学院（ISBN 978-1-4725-1350-2/hbk）。121-142 (2017).
审核人：罗曼·杜达（Wrocław）
MSC公司：03-03 01A55号 01A70号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Kriener}，in：哲学和形式逻辑的历史。从亚里士多德到塔斯基。纽约州纽约市：布卢姆斯伯里学院。121--142（2017年；Zbl 1386.03004）
克莱尔·莱夫雷;克里斯托弗·贝亚特里克斯;伊戈尔·斯特芬;劳伦特·加西亚

{ASPeRiX公司}，一种用于答案集计算的一阶前向链接方法。 （英语） Zbl 1379.68075号

理论与实践。日志。程序。 17，第3号，266-310（2017）.
MSC公司：68N17号 68T20型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Lefèvre}等人，《理论与实践》。日志。程序。17，第3号，266--310（2017；Zbl 1379.68075）
全文： 内政部 arXiv公司
Akhilesh Srikanth;伯拉克·萨欣;威廉·R·哈里斯。

使用引导定理枚举进行复杂性验证。 （英语） Zbl 1380.68284号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。639-652 (2017).
MSC公司：60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit｛A.Srikanth｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。639--652（2017；Zbl 1380.68284）
全文： 内政部
马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari

ASP系统DLV2。 （英语） 兹比尔1472.68178

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 215-221 (2017).
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Alviano}等人，Lect。注释计算。科学。10377215-221（2017年；兹bl 1472.68178）
全文： 内政部
弗朗西丝卡·波乔列西

对最新接地逻辑的批判性概述。 （英语） Zbl 1436.03068号

弗朗西斯卡·博卡尼（编辑）等人，《客观性、现实主义和证据》。菲尔马特学习数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。318, 291-309 (2016).
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{F.Poggiolesi}，波士顿Stud.Philos。历史。科学。318291--309（2016年；Zbl 1436.03068）
全文： 内政部 哈尔
埃德加·莫舍尔

伯纳德·博尔扎诺的根据和后果理论。公理化的重建。（Bernard Bolzanos Lehre von Grund und Folge.Eine axiomatische Rekonstruktion） （德语） 兹比尔1372.01004

Beiträge zur Bolzano-Forschung公司27.圣奥古斯丁：Verlag学院（ISBN 978-3-89665-698-8/pbk）。173页。(2016).
审核人：沃尔克·佩克豪斯（帕德博恩）
MSC公司：01-02 01A55号 01A70号 03-03 00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.Morscher}，Bernard Bolzanos Lehre von Grund und Folge。Eine公理主义。Sankt Augustin：弗拉格研究院（2016；Zbl 1372.01004）
德拉甘·波尔贾克

使用天线理论方法计算水平接地极的频域和时域响应。 （英语） Zbl 1356.78112号

Silvestrov，Sergei（编辑）等人，《工程数学I.电磁学、流体力学、材料物理学和金融工程》，Cham:Spriger出版社（ISBN 978-3-319-42081-3/hbk；978-3-319-42082-0/电子书）。《Springer Proceedings in Mathematics&Statistics》178，1-12（2016）。
MSC公司：78A50型 78M15型
PDF格式BibTeX公司 XML格式引用
\textit{D.Poljak}，施普林格程序。数学。Stat.178，1-12（2016；Zbl 1356.78112）
全文： 内政部
Aleksa Ristić;约万诺维奇，德扬;Cvetković，内纳德;弗拉基米尔·斯坦科维奇。;德扬·克里斯蒂奇

平板接地电极和栅极接地电极的对比分析。 （英语） Zbl 1438.78007号

灯泡。Ș提因ț。波利特大学。蒂米。，序列号。材料Fiz。 60（74），第1期，40-46（2015）.
MSC公司：78M10个 78A50型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ristić}等人，保加利亚。Ș提因ț。波利特大学。蒂米。，序列号。材料Fiz。60（74），编号1，40-46（2015；Zbl 1438.78007）
斯特凡尼亚中心
[埃德加·莫舍尔]

博尔扎诺研究。（博尔扎诺研究所） （德语） Zbl 1372.01002号

Beiträge zur Bolzano-Forschung公司26.圣奥古斯丁：Verlag学院（ISBN 978-3-89665-664-3/pbk）。第328页。(2015).
审核人：沃尔克·佩克豪斯（帕德博恩）
MSC公司：01-02 01A55号 01A70号 03A05号 03A10号
PDF格式BibTeX公司 XML格式引用
\textit{S.Centrone}，Studien zu Bolzano。Sankt Augustin：弗拉格研究院（2015；Zbl 1372.01002）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件