Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April 3-6, Passau, Germany Conference in Honor of the 60th Birthday of Volker Weispfenning

Proceedings

von: Andreas Dolzmann · Andreas Seidl · Thomas Sturm

Taschenbuch

ISBN-13: 978-3-8334-2669-8

ISBN-10: 3-8334-2669-1

Books on Demand · 2005