Automatically finding theory morphisms for knowledge management

From MaRDI portal
Publication:1798969