Verfügbarkeit: Automated reasoning and mathematics

Automated reasoning and mathematics: essays in memory of William W. McCune

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7788 : Lecture notes in artificial intelligence : Festschrift
Schlagworte:	Automatisches Beweisverfahren Mathematik Aufsatzsammlung Festschrift
Online-Zugang:	Volltext Abstract
Beschreibung:	1 Online-Ressource (XX, 257 S.)
ISBN:	9783642366741 9783642366758
DOI:	10.1007/978-3-642-36675-8

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge