Title:
Algorithmic algebra and logic : proceedings of the A3L 2005, April 3 - 6, Passau, Germany Conference in Honor of the 60th Birthday of Volker Weispfenning ; includes V. Weispfenning's Model theory of lattice products
Contributer:
Dolzmann, Andreas
,
Weispfenning, Volker
Edition:
1. Aufl.
Publisher:
Norderstedt :Books on Demand,
Year of publication:
2005
Pages:
568 S.
ISBN:
3-8334-2669-1
Type of Medium:
Book
Language:
German
Permalink