Spektrum Akademischer Verlag · Springer
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. ... Notes in Computer Science , Band 1138) | Taschenbuch | 978-3-540-61732-7 | 2008 | John A. Campbell · Jaques Calmet | |
| Automated Practical Reasoning: Algebraic Approaches | Paperback | 978-0-387-82600-4 | 1995 | Dongming Wang | |
| Automated Practical Reasoning: Algebraic Approaches | Taschenbuch | 978-3-211-82600-3 | 1995 | Dongming Wang · J. Cunningham | |
| Graßmanns Algebra in der Geometrie. Mit Seitenblicken auf verwandte Strukturen | Gebunden | 978-3-86025-474-5 | 1995 | Arno Zaddach |