Farouk Toumani

Reasoning in EL-Description Logic with Refreshing Variables

2021 · HAL Portal Artxiker (Hindustan Aeronautics Limited (India))

International audience