Automatically finding theory morphisms for knowledge management
From MaRDI portal
Publication:1798969
DOI10.1007/978-3-319-96812-4_18zbMath1417.68211OpenAlexW2883964127MaRDI QIDQ1798969
Michael Kohlhase, Dennis Müller, Florian Rabe
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_18
Related Items (1)
Uses Software
This page was built for publication: Automatically finding theory morphisms for knowledge management