A term matching algorithm and substitution generality

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kulaš, Marija (VerfasserIn)
Körperschaft: FernUniversität in Hagen Fakultät für Mathematik und Informatik (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Hagen FernUniversität, Fakultät für Mathematik und Informatik 11/2017
Schriftenreihe:Informatik-Berichte 376
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturverzeichnis: Seite 7-8
Beschreibung:7 Blätter
Diagramme
30 cm