Risk Acceptation Principles in Transport
- 期刊名称Journal of Konbin
- 作者Szymanek, Andrzej
- 卷第5卷
- 期第2期
- 印刷ISSN1895-8281
- 电子ISSN2083-4608
- 文件大小602.62KB
- 发表时间2008-01-1
- DOI10.2478/v10040-008-0052-4
同期刊推荐
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