The Symbolic Data geometry collection and the Geo Prover packages

Authors: 
Gräbe, Hans-Gert
Year: 
2002
Appeared / Erschienen in: 
In: ?Proceedings of the Workshop RWCA-02?, Mannheim 2002.