Automated reasoning and mathematics: essays in memory of William W. McCune
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7788 : Lecture notes in artificial intelligence : Festschrift |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | 1 Online-Ressource (XX, 257 S.) |
| ISBN: | 9783642366741 9783642366758 |
| DOI: | 10.1007/978-3-642-36675-8 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041386447 | ||
| 003 | DE-604 | ||
| 005 | 20200117 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131029s2013 xx o|||| 01||| eng d | ||
| 020 | |a 9783642366741 |9 978-3-642-36674-1 | ||
| 020 | |a 9783642366758 |c eISBN |9 978-3-642-36675-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-36675-8 |2 doi | |
| 035 | |a (OCoLC)862962976 | ||
| 035 | |a (DE-599)BVBBV041386447 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 702f |2 stub | ||
| 245 | 1 | 0 | |a Automated reasoning and mathematics |b essays in memory of William W. McCune |c Maria Paola Bonacina ... (eds) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XX, 257 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7788 : Lecture notes in artificial intelligence : Festschrift | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bonacina, Maria Paola |e Sonstige |0 (DE-588)103562754X |4 oth | |
| 700 | 1 | |a McCune, William |d 1953-2011 |0 (DE-588)114443424 |4 hnr | |
| 830 | 0 | |a Lecture notes in computer science |v 7788 : Lecture notes in artificial intelligence : Festschrift |w (DE-604)BV014880109 |9 7788 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36675-8 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026834335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026834335 | |
Record in the Search Index
| _version_ | 1820875478428286976 |
|---|---|
| adam_text |
AUTOMATED REASONING AND MATHEMATICS
/
: 2013
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)103562754X (DE-588)114443424 |
| building | Verbundindex |
| bvnumber | BV041386447 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 700f DAT 706f DAT 000 DAT 702f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)862962976 (DE-599)BVBBV041386447 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-36675-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041386447</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200117</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131029s2013 xx o|||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642366741</subfield><subfield code="9">978-3-642-36674-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642366758</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-36675-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36675-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)862962976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041386447</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning and mathematics</subfield><subfield code="b">essays in memory of William W. McCune</subfield><subfield code="c">Maria Paola Bonacina ... (eds)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 257 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7788 : Lecture notes in artificial intelligence : Festschrift</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonacina, Maria Paola</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)103562754X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">McCune, William</subfield><subfield code="d">1953-2011</subfield><subfield code="0">(DE-588)114443424</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7788 : Lecture notes in artificial intelligence : Festschrift</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7788</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36675-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026834335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026834335</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Aufsatzsammlung Festschrift |
| id | DE-604.BV041386447 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:16:15Z |
| institution | BVB |
| isbn | 9783642366741 9783642366758 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026834335 |
| oclc_num | 862962976 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XX, 257 S.) |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automated reasoning and mathematics essays in memory of William W. McCune Maria Paola Bonacina ... (eds) Berlin [u.a.] Springer 2013 1 Online-Ressource (XX, 257 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7788 : Lecture notes in artificial intelligence : Festschrift Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s Mathematik (DE-588)4037944-9 s DE-604 Bonacina, Maria Paola Sonstige (DE-588)103562754X oth McCune, William 1953-2011 (DE-588)114443424 hnr Lecture notes in computer science 7788 : Lecture notes in artificial intelligence : Festschrift (DE-604)BV014880109 7788 https://doi.org/10.1007/978-3-642-36675-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026834335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Automated reasoning and mathematics essays in memory of William W. McCune Lecture notes in computer science Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4037944-9 (DE-588)4143413-4 (DE-588)4016928-5 |
| title | Automated reasoning and mathematics essays in memory of William W. McCune |
| title_auth | Automated reasoning and mathematics essays in memory of William W. McCune |
| title_exact_search | Automated reasoning and mathematics essays in memory of William W. McCune |
| title_full | Automated reasoning and mathematics essays in memory of William W. McCune Maria Paola Bonacina ... (eds) |
| title_fullStr | Automated reasoning and mathematics essays in memory of William W. McCune Maria Paola Bonacina ... (eds) |
| title_full_unstemmed | Automated reasoning and mathematics essays in memory of William W. McCune Maria Paola Bonacina ... (eds) |
| title_short | Automated reasoning and mathematics |
| title_sort | automated reasoning and mathematics essays in memory of william w mccune |
| title_sub | essays in memory of William W. McCune |
| topic | Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Automatisches Beweisverfahren Mathematik Aufsatzsammlung Festschrift |
| url | https://doi.org/10.1007/978-3-642-36675-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026834335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bonacinamariapaola automatedreasoningandmathematicsessaysinmemoryofwilliamwmccune AT mccunewilliam automatedreasoningandmathematicsessaysinmemoryofwilliamwmccune |