Coverart for item
The Resource Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings, James H. Davenport [and others], (eds.), (electronic resource)

Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings, James H. Davenport [and others], (eds.), (electronic resource)

Label
Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings
Title
Intelligent computer mathematics
Title remainder
18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings
Statement of responsibility
James H. Davenport [and others], (eds.)
Title variation
  • Calculemus 2011
  • MKM 2011
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively
Member of
Cataloging source
E7B
Image bit depth
0
LC call number
TK7887.8.T4
LC item number
S96 2011eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
Calculemus 2011
Nature of contents
standards specifications
http://library.link/vocab/relatedWorkOrContributorDate
  • 1953-
  • 2011
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Davenport, James Harold
  • MKM (Conference)
Series statement
Lecture Notes in Computer Science,
Series volume
6824
http://library.link/vocab/subjectName
  • Computer terminals
  • Artificial intelligence
  • Informatique
  • Artificial intelligence
  • Computer terminals
Label
Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings, James H. Davenport [and others], (eds.), (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (xiii, 312 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642226731
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-22673-1
Other physical details
illustrations (some color).
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)747413721
  • (OCoLC)ocn747413721
Label
Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings, James H. Davenport [and others], (eds.), (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
unknown
Edition
1st ed.
Extent
1 online resource (xiii, 312 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642226731
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-22673-1
Other physical details
illustrations (some color).
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)747413721
  • (OCoLC)ocn747413721

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...