Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Lattice Theory"
Treffer 50 von 83
|
|
| Link zu diesem Datensatz | https://d-nb.info/974222623 |
| Art des Inhalts |
Konferenzschrift Hochschulschrift |
| Titel |
Algorithmic algebra and logic : proceedings of the A3L 2005, April 3 - 6, Passau, Germany ; Conference in Honor of the 60th Birthday of Volker Weispfenning Incl. V. Weispfenning's "Model theory of lattice products" Dolzmann ... (eds.) |
| Person(en) |
Dolzmann, Andreas (Herausgeber) Weispfenning, Volker (Gefeierter) Weispfenning, Volker |
| Organisation(en) | A3L (2005 : Passau) (Herausgebendes Organ) |
| Verlag | Norderstedt : Books on Demand GmbH |
| Zeitliche Einordnung | Erscheinungsdatum: 2005 |
| Umfang/Format | XII, 556 S. : Ill., graph. Darst. ; 22 cm |
| Hochschulschrift | Teilw. zugl.: Heidelberg, Univ., Habil.-Schr., 1978 |
| ISBN/Einband/Preis |
978-3-8334-2669-8 kart. : EUR 98.00 3-8334-2669-1 kart. : EUR 98.00 |
| EAN | 9783833426698 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter |
Computeralgebra ; Gröbner-Basis ; Kongress ; Passau <2005> Verbandsprodukt <Mathematik> ; Modelltheorie |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Frankfurt |
Signatur: 2006 A 4966
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2005 A 77503
Bereitstellung in Leipzig |
Treffer 50 von 83
Administration
