DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Browsing by Author Stephan, Werner
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2005 | Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday | Hutter, Dieter; Stephan, Werner |