An automatic proof procedure for several geometries <report> 1

Bibliographische Detailangaben

1. Verfasser:	Bruyn, Th. (VerfasserIn)
Weitere Verfasser:	Claasen, H.L. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Delft Dep. of Mathematics and Informatics, Univ. of Technology 1984
Schriftenreihe:	Reports of the Dep. of Mathematics and Informatics, Univ. of Technology 84-42
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!