[Advances in Intelligent Systems and Computing] Advances in Computer Science for Engineering and Education Volume 754 || Knowledge Representation and Formal Reasoning in Ontologies with Coq
- 作者Hu, Zhengbing; Petoukhov, Sergey; Dychka, Ivan; He, Matthew
- 文件大小948.11KB
- 发表时间2019
- DOI10.1007/978-3-319-91008-6_74
- 页码759-770
[Springer Proceedings in Mathematics & Statistics] Collaborative Mathematics and Statistics Research Volume 109 ||Rychtář, Jan; Chhetri, Maya; Gupta, Sat; Shivaji, Ratnasingham · 2015
[Springer Proceedings in Mathematics & Statistics] Applied Mathematics Volume 146 ||Sarkar, Susmita; Basu, Uma; De, Soumen · 2015
[Springer Proceedings in Mathematics & Statistics] Nonparametric Statistics Volume 175 ||Cao, Ricardo; González Manteiga, Wenceslao; Romo, Juan · 2016
[Springer Proceedings in Mathematics & Statistics] Advances in Applied Mathematics Volume 87 ||Ansari, Ali R. · 2014
[Springer Proceedings in Mathematics & Statistics] Engineering Mathematics I Volume 178 ||Silvestrov, Sergei; Rančić, Milica · 2016
[Springer Proceedings in Mathematics & Statistics] Engineering Mathematics II Volume 179 ||Silvestrov, Sergei; Rančić, Milica · 2016
[Springer Proceedings in Mathematics & Statistics] Topics in Applied Statistics Volume 55 ||Hu, Mingxiu; Liu, Yi; Lin, Jianchang · 2013
[Springer Proceedings in Mathematics & Statistics] Mathematics and Computing Volume 139 ||Mohapatra, Ram N.; Chowdhury, Dipanwita Roy; Giri, Debasis · 2015
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 ||Pilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Insurance Models Under Incomplete InformationPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Design and Analysis of Simulation ExperimentsPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Comparison and Modelling of Pension SystemsPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || EEG, Nonparametric Multivariate Statistics, and Dementia ClassificationPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Power and Sample Size Considerations in PsychometricsPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Bootstrap Change Point Testing for Dependent DataPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018
[Springer Proceedings in Mathematics & Statistics] Statistics and Simulation Volume 231 || Stochastic Models for Nonlinear Cross-Diffusion SystemsPilz, Jürgen; Rasch, Dieter; Melas, Viatcheslav B.; Moder, Karl · 2018