Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April 3-6, Passau, Germany Conference in Honor of the 60th Birthday of Volker WeispfenningBooks on Demand, 2005 - 556 Seiten |
Algorithmic Algebra and Logic: Proceedings of the A3L 2005, April 3-6, Passau, Germany Conference in Honor of the 60th Birthday of Volker WeispfenningBooks on Demand, 2005 - 556 Seiten |