Manuel Kauers — Books & Biography | Menrva Books | MenrvaBooks

Manuel Kauers

Is this your author profile? Create an account to customize it!

Stand Alone

The Concrete Tetrahedron

The Concrete Tetrahedron

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.