Knowledge Representation and Formal Reasoning in Ontologies with Coq
Crossref DOI link: https://doi.org/10.1007/978-3-319-91008-6_74
Published Online: 2018-05-12
Published Print: 2019
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lenko, Vasyl
Pasichnyk, Volodymyr
Kunanets, Natalia
Shcherbyna, Yuriy
License valid from 2018-05-12