Catalog

Record Details

Catalog Search


Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings Cover Image E-book E-book

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge.

Jeuring, Johan. (editor.). Campbell, John A. (editor.). Carette, Jacques. (editor.). Reis, Gabriel. (editor.). Sojka, Petr. (editor.). Wenzel, Makarius. (editor.). Sorge, Volker. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02439nam a22005535i 4500
00142323
003CONS
00520130727041321.0
007cr nn 008mamaa
008120625s2012 gw | s |||| 0|eng d
020 . ‡a9783642313745 ‡9978-3-642-31374-5
0247 . ‡a10.1007/978-3-642-31374-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-31374-5
050 4. ‡aQA76.9.M35
072 7. ‡aUYAM ‡2bicssc
072 7. ‡aCOM018000 ‡2bisacsh
072 7. ‡aMAT002000 ‡2bisacsh
1001 . ‡aJeuring, Johan. ‡eeditor.
24510. ‡aIntelligent Computer Mathematics ‡h[electronic resource] : ‡b11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / ‡cedited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aXVIII, 473p. 117 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 ; ‡v7362
650 0. ‡aComputer science.
650 0. ‡aLogic design.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aInformation storage and retrieval systems.
650 0. ‡aArtificial intelligence.
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. ‡aLogics and Meanings of Programs.
65024. ‡aInformation Storage and Retrieval.
7001 . ‡aCampbell, John A. ‡eeditor.
7001 . ‡aCarette, Jacques. ‡eeditor.
7001 . ‡aReis, Gabriel. ‡eeditor.
7001 . ‡aSojka, Petr. ‡eeditor.
7001 . ‡aWenzel, Makarius. ‡eeditor.
7001 . ‡aSorge, Volker. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642313738
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7362
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-31374-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a42323 ‡b ‡c42323 ‡tbiblio ‡sSystem Local

Additional Resources