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...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| シリーズ: | Lecture Notes in Artificial Intelligence
7961 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Intelligent Computer Mathematics, 9783642393198 • Intelligent Computer Mathematics, Texte imprimé, 9783642393211 |