michael kohlhase
Symbolic Computation and Automated Reasoning
EbookSofort lieferbarWhile mathematical software packages are commercially successful and widely used, the use of form...
KI 2006
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conferen...
Mathematical Knowledge Management
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-proceedings of the 4th International Conferenc...
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
EbookSofort lieferbarOpen Mathematical Documents (OMDoc) is a content markup scheme for mathematical documents includi...
Intelligent Computer Mathematics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Conference on Intelligent...
Artificial Intelligence. ECAI 2023 International Workshops
EbookSofort lieferbarThis volume constitutes the refereed proceedings presented at the international workshops of the ...
Artificial Intelligence. ECAI 2023 International Workshops
EbookSofort lieferbarThis volume constitutes the refereed proceedings presented at the international workshops of the ...
Symbolic Computation and Automated Reasoning
EbookSofort lieferbarWhile mathematical software packages are commercially successful and widely used, the use of form...
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
TaschenbuchPrint on DemandComputers arechanging the way wethink. Of course,nearly all desk-workers have access to computers...
KI 2006
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Confe...
Intelligent Computer Mathematics
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Intelligent...
Artificial Intelligence. ECAI 2023 International Workshops
TaschenbuchPrint on DemandThis volume constitutes the refereed proceedings presented at the international workshops of the ...
- 1
- 2