Informatikberichte 2017

• Marija Kulaš
  A term matching algorithm and substitution generality
  Hagen: FernUniversität, Fachrichtung Informatik, 11/2017 - 10 Seiten
  (Informatik-Bericht Nummer 376)
  PDF-Version (PDF 365 KB)