Botta, NicolaNicolaBottaMandel, AntoineAntoineMandelHofmann, MareenMareenHofmannSchupp, SibylleSibylleSchuppIonescu, CezarCezarIonescu2020-04-292020-04-292013Do-form: enabling domain experts to use formalised reasoning : AISB convention 2013 ; University of Exeter, 3rd - 5th April, 2013 ; [... proceedings of one of eight co-located symposia held at the AISB convention 2013 ...] / Manfred Kerber ... (ed.). - New York, NY : Curran, 2013. - Seite 38-48http://hdl.handle.net/11420/5977enInformatikConference PaperOther