Return to search

Implementierung eines generischen Interpreters für Termersetzungssysteme höherer Ordnung auf Basis einer strukturellen operationalen Semantik

Univ., Diplomarbeit, 2004--Frankfurt (Main)

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/180081966
CreatorsStamm, Christopher
Source SetsOCLC
LanguageGerman
Detected LanguageGerman
TypeOnline-Publikation

Page generated in 0.0023 seconds