Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen

Bibliographische Detailangaben

1. Verfasser:	Goller, Christoph (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München Inst. für Informatik 1993
Schriftenreihe:	Forschungsberichte künstliche Intelligenz 174
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!