×
作者ID: khan-afshar.sanaz“Khan Afshar,Sanaz”最近发表的zbMATH文章
发布日期: 卡恩·阿夫沙尔·萨纳兹;萨纳兹·汗·阿夫沙尔;萨纳兹·汗·阿夫沙尔
编入索引的文档: 5出版物自2009年起
合著者: 9合著者具有5联合出版物
163位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用15中的次12文件 引用人 年份
光学系统的形式分析。 Zbl 1302.68245号
卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基,昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔
9
2014
高阶逻辑中复数向量的形式化。 Zbl 1304.68150号
萨纳兹·汗·阿夫沙尔;文森特·阿拉万提诺斯;奥斯曼·哈桑;索菲涅·塔哈尔
2
2014
HOL中光波导的形式化分析。 Zbl 1252.68256号
奥斯曼·哈桑;萨纳兹·汗·阿夫沙尔;索菲涅·塔哈尔
2
2009
形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔
1
2015
在HOL Light中实现符号和数值计算。 Zbl 1417.68193号
塞迪基,昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;索菲涅·塔哈尔
1
2015
形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔
1
2015
在HOL Light中实现符号和数值计算。 Zbl 1417.68193号
塞迪基,昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;索菲涅·塔哈尔
1
2015
光学系统的形式化分析。 Zbl 1302.68245号
卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万提诺斯;塞迪基,昂山素季;奥斯曼·哈桑;索菲涅·塔哈尔
9
2014
高阶逻辑中复数向量的形式化。 Zbl 1304.68150号
萨纳兹·汗·阿夫沙尔;文森特·阿拉万提诺斯;奥斯曼·哈桑;索菲涅·塔哈尔
2
2014
HOL中光波导的形式化分析。 Zbl 1252.68256号
奥斯曼·哈桑;萨纳兹·汗·阿夫沙尔;索菲涅·塔哈尔
2
2009

按年份列出的引文