Towards a Description Logic for Scientific Modeling.
Jean-Pierre Mller, Hasina Lalaina Rakotonirainy, Dominique Herv
Browse the full IC3K paper archive.
Jean-Pierre Mller, Hasina Lalaina Rakotonirainy, Dominique Herv
Browse the full IC3K paper archive.