Veröffentlichungen in 1985

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 1985


Technische Berichte

Franz Baader
Die S-Varietät DS und einige Untervarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1985. Arbeitsbericht
Details