Artikel in einem Konferenzbericht,

Restricted Unification in the Description Logic $FL_\bot$

, und .
Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, (2022)

Metadaten

Tags

Nutzer

  • @scadsfct

Kommentare und Rezensionen