manfred kerber
Twist in der Nacht
EbookSofort lieferbarHier erhältlich ist die Notenausgabe des Titels für Klavier und Gesang.Das E-Book Twist in der Na...
Symbolic Computation and Automated Reasoning
EbookSofort lieferbarWhile mathematical software packages are commercially successful and widely used, the use of form...
Towards Mechanized Mathematical Assistants
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Mathematica...
Intelligent Computer Mathematics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the International Conference on Intelligent Com...
Computational Logic - CL 2000
EbookSofort lieferbarThese are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...
Symbolic Computation and Automated Reasoning
EbookSofort lieferbarWhile mathematical software packages are commercially successful and widely used, the use of form...
Intelligent Computer Mathematics
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the International Conference on Intelligent Com...
Intelligent Computer Mathematics
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 16th International Conference on Intelligen...
Towards Mechanized Mathematical Assistants
TaschenbuchBezug 16-20This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Cal...
Computational Logic - CL 2000
TaschenbuchPrint on DemandThese are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...
- 1