MARC Record from harvard_bibliographic_metadata

LEADER: 02887nam a22005655a 4500
001 013744280-7
005 20130920190825.0
008 130704s2013 gw | s ||0| 0|eng d
020 $a9783642393204
020 $a9783642393204
020 $a9783642393198
024 7 $a10.1007/978-3-642-39320-4$2doi
035 $a(Springer)9783642393204
040 $aSpringer
050 4 $aQA76.9.M35
072 7 $aUYAM$2bicssc
072 7 $aCOM018000$2bisacsh
072 7 $aMAT002000$2bisacsh
082 04 $a005.131$223
100 1 $aCarette, Jacques,$eeditor.
245 10 $aIntelligent Computer Mathematics :$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
490 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v7961
520 $aThis 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 Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013,  6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
650 20 $aInformation retrieval.
650 20 $aInformation organization.
650 24 $aArtificial Intelligence (incl. Robotics)
650 10 $aComputer science.
650 0 $aText processing (Computer science)
650 0 $aComputer science.
650 0 $aAlgebra$xData processing.
650 0 $aInformation storage and retrieval systems.
650 0 $aArtificial intelligence.
650 24 $aSymbolic and Algebraic Manipulation.
650 24 $aMath Applications in Computer Science.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aDocument Preparation and Text Processing.
700 1 $aWindsteiger, Wolfgang,$eeditor.
700 1 $aSojka, Petr,$eeditor.
700 1 $aLange, Christoph,$eeditor.
700 1 $aAspinall, David,$eeditor.
776 08 $iPrinted edition:$z9783642393198
830 0 $aLecture Notes in Computer Science ;$v7961.
988 $a20130802
906 $0VEN