Idir Ait Sadoune

Documents

Présentation

burkhart-wolff

	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