Accéder directement au contenu

Burkhart Wolff

1
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

idir-ait-sadoune
Image document

Using the Isabelle Ontology Framework. Linking the Formal with the Informal

Achim D. Brucker , Idir Ait-Sadoune , Paolo Crisafulli , Burkhart Wolff
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Communication dans un congrès hal-01875734v1