Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Anti-Unification in Description Logic EL

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science

Zeitraum07 Dez. 2017
EreignistitelInternational Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering, dedicated to the 80th Birthday of David Gordeziani, AMINSE 2017
VeranstaltungstypKonferenz
OrtGeorgienAuf Karte anzeigen

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 101001 Algebra
  • 101012 Kombinatorik
  • 101020 Technische Mathematik
  • 101 Mathematik
  • 101009 Geometrie
  • 101005 Computeralgebra

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics