Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Co...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , , , |
| フォーマット: | eBook |
| 言語: | English |
| 出版事項: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| シリーズ: | Lecture Notes in Computer Science
7961 |
| 主題: | |
| オンライン･アクセス: | Click here to view the full text content |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
このレコードへの初めてのコメントを付けませんか!