Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings
From MaRDI portal
Publication:958360
DOI10.1007/978-3-540-85110-3zbMath1154.68002MaRDI QIDQ958360
No author found.
Publication date: 4 December 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Txx: Artificial intelligence
Related Items
Formal Proof: Reconciling Correctness and Understanding, A Review of Mathematical Knowledge Management, Integrating Web Services into Active Mathematical Documents
Uses Software