编辑配置文件(在新选项卡中打开) 普加、斯坦尼斯·瓦夫 合著者距离 作者ID: purgal.stanislaw公司 发布日期: 普加、斯坦尼斯·瓦夫 已编制索引的文档: 1出版物自2021年起 合著者: 2合著者具有1联合出版物 78位合作作者 合著者 0 单作者的 1 塞萨里·卡利西克 1 朱利安·帕塞特 系列 1 逻辑与计算杂志 领域 1 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 用于定理证明的连续向量表示的研究。 Zbl 07451578号 普加、斯坦尼斯·瓦夫;朱利安·帕塞特;塞萨里·卡利西克 1 2021 用于定理证明的连续向量表示的研究。 Zbl 07451578号 普加、斯坦尼斯·瓦夫;朱利安·帕塞特;塞萨里·卡利西克 1 2021 1位作者引用 1 鲍里斯·施明克(Boris A.Shminke)。 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文