The Resource Automated Reasoning and Mathematics : Essays in Memory of William W. McCune, edited by Maria Paola Bonacina, Mark E. Stickel, (electronic resource)

Automated Reasoning and Mathematics : Essays in Memory of William W. McCune, edited by Maria Paola Bonacina, Mark E. Stickel, (electronic resource)

Label
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
Title
Automated Reasoning and Mathematics
Title remainder
Essays in Memory of William W. McCune
Statement of responsibility
edited by Maria Paola Bonacina, Mark E. Stickel
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics
Member of
http://library.link/vocab/creatorName
Bonacina, Maria Paola
Image bit depth
0
LC call number
  • Q334-342
  • TJ210.2-211.495
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Stickel, Mark E.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
7788
http://library.link/vocab/subjectName
  • Computer science
  • Logic design
  • Artificial intelligence
  • Computer Science
  • Artificial Intelligence (incl. Robotics)
  • Mathematical Logic and Formal Languages
  • Logics and Meanings of Programs
  • Math Applications in Computer Science
Label
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune, edited by Maria Paola Bonacina, Mark E. Stickel, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
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
Extent
XX, 259 p. 27 illus.
File format
multiple file formats
Form of item
electronic
Isbn
9783642366758
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-36675-8
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-642-36675-8
Label
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune, edited by Maria Paola Bonacina, Mark E. Stickel, (electronic resource)
Publication
Antecedent source
mixed
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
Extent
XX, 259 p. 27 illus.
File format
multiple file formats
Form of item
electronic
Isbn
9783642366758
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-642-36675-8
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-642-36675-8

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 ...