Catalog

Record Details

Catalog Search


Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings Cover Image E-book E-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.

Carette, Jacques. (editor.). Aspinall, David. (editor.). Lange, Christoph. (editor.). Sojka, Petr. (editor.). Windsteiger, Wolfgang. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02262nam a22005295i 4500
00131748
003CONS
00520130904033915.0
007cr nn 008mamaa
008130704s2013 gw | s |||| 0|eng d
020 . ‡a9783642393204 ‡9978-3-642-39320-4
0247 . ‡a10.1007/978-3-642-39320-4 ‡2doi
035 . ‡a(DE-He213)978-3-642-39320-4
050 4. ‡aQA76.9.M35
072 7. ‡aUYAM ‡2bicssc
072 7. ‡aCOM018000 ‡2bisacsh
072 7. ‡aMAT002000 ‡2bisacsh
1001 . ‡aCarette, Jacques. ‡eeditor.
24510. ‡aIntelligent Computer Mathematics ‡h[electronic resource] : ‡bMKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / ‡cedited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013.
300 . ‡aXVI, 384 p. 100 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7961
650 0. ‡aComputer science.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aInformation storage and retrieval systems.
650 0. ‡aArtificial intelligence.
650 0. ‡aText processing (Computer science.
65014. ‡aComputer Science.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aMath Applications in Computer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aDocument Preparation and Text Processing.
65024. ‡aInformation Storage and Retrieval.
7001 . ‡aAspinall, David. ‡eeditor.
7001 . ‡aLange, Christoph. ‡eeditor.
7001 . ‡aSojka, Petr. ‡eeditor.
7001 . ‡aWindsteiger, Wolfgang. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642393198
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7961
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-39320-4 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a31748 ‡b ‡c31748 ‡tbiblio ‡sSystem Local

Additional Resources