ILFA - ein Tool für Logikanwendungen

Bibliographische Detailangaben

1. Verfasser:	Flögel, Andreas (VerfasserIn)
Weitere Verfasser:	Lettmann, Theodor (VerfasserIn), Lehmann, Jürgen (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Duisburg Fachber. Math., Univ. 1991
Schriftenreihe:	Schriftenreihe des Fachbereichs Mathematik, Universität Duisburg Gesamthochschule. SM DU 195
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!