EasyChair Smart SlideUser guide
Author: Raimund Dachselt

This page shows all presentations of this author published in EasyChair Smart Slide.

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair