Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30,
by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger Paperback 2007
- Author: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
- ISBN 13: 9783540730835
- ISBN 10: 3540730834
- Publication Year: 2007
- Language: English
Specifications
| Index-10 | 3540730834 |
|---|---|
| Index-13 | 9783540730835 |
| Language | English |
✨ Readers also enjoyed...
D-Finite Functions