Type | Book |
ชื่อเรื่อง | Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
ISBN | 9783642393198 |
| 9783642393204 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2013 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Algebra --Data processing [] |
| Artificial intelligence (Incl. robotics) |
| Artificial intelligence |
| Computer science |
| Computer science |
| Document preparation and text processing |
| Electronic books |
| Information storage and retrieval systems |
| Math applications in computer science |
| Mathematical logic and formal languages |
| Symbolic and algebraic manipulation |
| Text processing (Computer science |
| Information storage and retrieval |