编辑配置文件（在新选项卡中打开） 桑德罗·普雷托 合著者距离 作者ID： 普雷托·桑德罗 发布日期： Preto，桑德罗 编入索引的文档： 5出版物自2018年起 合著者： 1位合著者具有5联合出版物 45位合作作者 合著者 0 单作者的 5 马塞洛·芬格 系列 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 IGPL逻辑杂志 领域 5 数学逻辑和基础（03-XX） 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用11中的次6文件 引用人▼ 年份▼ 可能有一半是真的：关于Łukasiewicz无穷值逻辑的概率可满足性。 Zbl 1468.68199号 马塞洛·芬格;桑德罗·普雷托 6 2018 可能部分正确：Łukasiewicz无穷值概率逻辑和相关主题的可满足性。 Zbl 1468.68200号 马塞洛·芬格;桑德罗·普雷托 4 2020 将分段线性函数表示为逻辑的有效算法。 Zbl 1498.03061号 Preto，桑德罗;马塞洛·芬格 1 2020 可能部分正确：Łukasiewicz无穷值概率逻辑和相关主题的可满足性。 Zbl 1468.68200号 马塞洛·芬格;桑德罗·普雷托 4 2020 将分段线性函数表示为逻辑的有效算法。 Zbl 1498.03061号 桑德罗·普雷托;马塞洛·芬格 1 2020 可能有一半是真的：关于Łukasiewicz无穷值逻辑的概率可满足性。 Zbl 1468.68199号 马塞洛·芬格;Preto，桑德罗 6 2018 所有引用出版物 前5名被引用出版物 3位作者引用 4 马塞洛·芬格 三 桑德罗·普雷托 2 丹妮尔·蒙迪奇 4篇连载文章中引用 1 人工智能 1 应用数学进展 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 在5个字段中引用 5 数学逻辑和基础（03-XX） 三 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 1 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 按年份列出的引文