Sarah M.Loos-作者简介-zbMATH Open

编辑配置文件

Sarah M.Loos。

合著者距离

2	计算机科学（68至XX）
1	数学逻辑和基础（03-XX）

所有引用出版物前5名被引用出版物

2出版物有被引用18中的次18文件	引用人▼	年份▼
深度网络引导的证据搜索。 Zbl 1403.68197号莎拉·卢斯;杰弗里·欧文;Szegedy，基督徒;塞萨里·卡利西克	14	2017
微分细化逻辑。 Zbl 1401.68204号 Sarah M.Loos。;安德烈·普拉泽	4	2016
深度网络引导的证据搜索。 Zbl 1403.68197号莎拉·卢斯;杰弗里·欧文;克里斯蒂安·塞格迪;塞萨里·卡利西克	14	2017
微分细化逻辑。 Zbl 1401.68204号 Sarah M.Loos。;安德烈·普拉泽	4	2016

所有引用出版物前5名被引用出版物

7	约瑟夫·厄本
三	Jakubův，简
三	马丁·苏达
三	佐姆博里（Zsolt Zombori）
2	卡雷尔·奇瓦洛夫斯克
2	西蒙·福斯特
2	塞萨里·卡利西克
2	米罗斯拉夫·奥沙克
1	格拉泽戈兹·班塞雷克
1	乍得·布朗·爱德华
1	Czesław拜林斯基
1	阿德里安·西萨里克
1	杰雷米·杜布特
1	迈克尔·Färber
1	马里奥·格雷舍尔
1	查拉图斯特拉·阿马德乌斯·戈泽尔
1	亚当·格拉博夫斯基
1	Hasuo，一郎
1	乔纳森·朱利安（Jonathan Julián），韦尔塔·穆尼夫（Huerta y Munive）
1	沙迦·伊扎基
1	Katsumata、Shin ya
1	尤拉杰·科尔查克
1	阿图尔·科尔尼·奥维茨
1	罗马人Matuszewski
1	米查勒夫斯基（Michalewski）、亨利克（Henryk）
1	亚当·纳莫维奇
1	雅库布·内穆奇
1	Pąk，卡罗尔
1	希拉·佩勒
1	安德烈·普拉泽
1	纳迪亚·波里卡波娃
1	克尔斯托·普罗科维奇
1	马库斯·拉贝。
1	迈克尔·劳森
1	贾尔斯·里格尔
1	鲁本·罗伊，N.S。
1	约翰·施密杜贝尔
1	伊利亚·谢尔盖
1	戴维·斯普伦格
1	乔治·斯特鲁斯
1	克里斯蒂安·塞格迪
1	Tan，Yong Kiam先生
1	迈克尔·旺德
1	Akihisa山田

2	自动推理杂志
1	计算的形式化方面