Verfügbarkeit: Mechanizing mathematical reasoning

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Stephan, Werner 1950- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer [2005]
Schriftenreihe:	Lecture notes in computer science 2605
Schlagworte:	Softwareentwicklung Logischer Schluss Formale Methode Automatisches Beweisverfahren Aufsatzsammlung Festschrift
Online-Zugang:	BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (IX, 563 Seiten) Illustrationen
ISBN:	3540250514 9783540250517 9783540322542
DOI:	10.1007/b106663

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV022361351
003	DE-604
005	20230706
007	cr\|uuu---uuuuu
008	070322s2005 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 3540250514 \|9 3-540-25051-4
020			\|a 9783540250517 \|9 978-3-540-25051-7
020			\|a 9783540322542 \|9 978-3-540-32254-2
035			\|a (OCoLC)254119230
035			\|a (DE-599)BVBBV022361351
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634
082	0		\|a 511.36028563
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a DAT 706f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 555f \|2 stub
245	1	0	\|a Mechanizing mathematical reasoning \|b essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday \|c Dieter Hutter, Werner Stephan (Eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c [2005]
300			\|a 1 Online-Ressource (IX, 563 Seiten) \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2605
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logischer Schluss \|0 (DE-588)4139983-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-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 Logischer Schluss \|0 (DE-588)4139983-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	1		\|5 DE-604
689	2	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
700	1		\|a Hutter, Dieter \|e Sonstige \|0 (DE-588)1253545987 \|4 oth
700	1		\|a Stephan, Werner \|d 1950- \|0 (DE-588)141539380 \|4 edt
700	1		\|a Siekmann, Jörg H. \|d 1941- \|0 (DE-588)1089095325 \|4 hnr
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-540-25051-7
830		0	\|a Lecture notes in computer science \|v 2605 \|w (DE-604)BV014880109 \|9 2605
856	4	0	\|u https://doi.org/10.1007/b106663 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-015570686
966	e		\|u https://doi.org/10.1007/b106663 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b106663 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804136409903136768
adam_txt
any_adam_object
any_adam_object_boolean
author2	Stephan, Werner 1950-
author2_role	edt
author2_variant	w s ws
author_GND	(DE-588)1253545987 (DE-588)141539380 (DE-588)1089095325
author_facet	Stephan, Werner 1950-
building	Verbundindex
bvnumber	BV022361351
classification_rvk	SS 4800 CC 2600
classification_tum	DAT 706f DAT 000 DAT 555f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)254119230 (DE-599)BVBBV022361351
dewey-full	511.36028563
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.36028563
dewey-search	511.36028563
dewey-sort	3511.36028563
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
discipline_str_mv	Informatik Mathematik Philosophie
doi_str_mv	10.1007/b106663
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03038nmm a2200685 cb4500</leader><controlfield tag="001">BV022361351</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230706 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070322s2005 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540250514</subfield><subfield code="9">3-540-25051-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540250517</subfield><subfield code="9">978-3-540-25051-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540322542</subfield><subfield code="9">978-3-540-32254-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254119230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022361351</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36028563</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mechanizing mathematical reasoning</subfield><subfield code="b">essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday</subfield><subfield code="c">Dieter Hutter, Werner Stephan (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2005]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 563 Seiten)</subfield><subfield code="b">Illustrationen</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">2605</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hutter, Dieter</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1253545987</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stephan, Werner</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)141539380</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Siekmann, Jörg H.</subfield><subfield code="d">1941-</subfield><subfield code="0">(DE-588)1089095325</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-540-25051-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2605</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2605</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015570686</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106663</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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.BV022361351
illustrated	Not Illustrated
index_date	2024-07-02T17:03:24Z
indexdate	2024-07-09T20:55:57Z
institution	BVB
isbn	3540250514 9783540250517 9783540322542
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015570686
oclc_num	254119230
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
physical	1 Online-Ressource (IX, 563 Seiten) Illustrationen
psigel	ZDB-2-SCS
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Dieter Hutter, Werner Stephan (Eds.) Berlin [u.a.] Springer [2005] 1 Online-Ressource (IX, 563 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2605 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Logischer Schluss (DE-588)4139983-3 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s Hutter, Dieter Sonstige (DE-588)1253545987 oth Stephan, Werner 1950- (DE-588)141539380 edt Siekmann, Jörg H. 1941- (DE-588)1089095325 hnr Erscheint auch als Druck-Ausgabe 978-3-540-25051-7 Lecture notes in computer science 2605 (DE-604)BV014880109 2605 https://doi.org/10.1007/b106663 Verlag Volltext
spellingShingle	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Logischer Schluss (DE-588)4139983-3 gnd Formale Methode (DE-588)4333722-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4139983-3 (DE-588)4333722-3 (DE-588)4069034-9 (DE-588)4143413-4 (DE-588)4016928-5
title	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
title_auth	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
title_exact_search	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
title_exact_search_txtP	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
title_full	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Dieter Hutter, Werner Stephan (Eds.)
title_fullStr	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Dieter Hutter, Werner Stephan (Eds.)
title_full_unstemmed	Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Dieter Hutter, Werner Stephan (Eds.)
title_short	Mechanizing mathematical reasoning
title_sort	mechanizing mathematical reasoning essays in honor of jorg h siekmann on the occasion of his 60th birthday
title_sub	essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
topic	Softwareentwicklung (DE-588)4116522-6 gnd Logischer Schluss (DE-588)4139983-3 gnd Formale Methode (DE-588)4333722-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Softwareentwicklung Logischer Schluss Formale Methode Automatisches Beweisverfahren Aufsatzsammlung Festschrift
url	https://doi.org/10.1007/b106663
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT hutterdieter mechanizingmathematicalreasoningessaysinhonorofjorghsiekmannontheoccasionofhis60thbirthday AT stephanwerner mechanizingmathematicalreasoningessaysinhonorofjorghsiekmannontheoccasionofhis60thbirthday AT siekmannjorgh mechanizingmathematicalreasoningessaysinhonorofjorghsiekmannontheoccasionofhis60thbirthday

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