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

mathinf.webteam | 20.09.2018