Publications in 1985

From International Center for Computational Logic
Toggle side column

Publications in 1985


Technical Reports

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