Ein interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen. Lichter, H 1985.
bibtex   
@misc{Lichter1985,
annote = {Universit{\"{a}}t Kaiserslautern, SEKI-Memo 1985},
author = {Lichter, H},
pages = {11--85},
title = {{Ein interaktives und syntaxorientiertes Eingabesystem f{\"{u}}r algebraische und algorithmische Spezifikationen}},
year = {1985}
}

Downloads: 0