Sar Action Effectiveness Measures
- 期刊名称Journal of Konbin
- 作者Burciu, Zbigniew; Starosta, Andrzej
- 卷第6卷
- 期第3期
- 印刷ISSN1895-8281
- 电子ISSN2083-4608
- 文件大小533.80KB
- 发表时间2008-01-1
- DOI10.2478/v10040-008-0063-1
同期刊推荐
Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2014
Gaussian IntegersFuta, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari · Formalized Mathematics · 2013
Finite Product of Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2015
Solution of Cubic and Quartic EquationsRiccardi, Marco · Formalized Mathematics · 2009
A Model of Mizar Concepts - UnificationBancerek, Grzegorz · Formalized Mathematics · 2010
The Derivations of Temporal Logic FormulasGiero, Mariusz · Formalized Mathematics · 2012
Nilpotent GroupsLi, Dailu; Liang, Xiquan; Men, Yanhong · Formalized Mathematics · 2010
The Friendship TheoremPąk, Karol · Formalized Mathematics · 2012