Verfügbarkeit: Intelligent computer mathematics

Intelligent computer mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	AISC (Conference) < 2010, Paris, France> (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer c2010
Schriftenreihe:	Lecture notes in computer science 6167 Lecture notes in computer science LNCS sublibrary
Schlagworte:	Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra Automatisches Beweisverfahren Künstliche Intelligenz Wissensmanagement Mathematik Konferenzschrift
Online-Zugang:	Volltext
Beschreibung:	International conference proceedings Includes bibliographical references and index
Beschreibung:	1 Online-Ressource (xv, 469 p.)
ISBN:	9783642141287 3642141285 9783642141270 3642141277 9781280387692

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV041905175
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	140612s2010 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783642141287 \|9 978-3-642-14128-7
020			\|a 3642141285 \|9 3-642-14128-5
020			\|a 9783642141270 \|9 978-3-642-14127-0
020			\|a 3642141277 \|9 3-642-14127-7
020			\|a 9781280387692 \|c MyiLibrary \|9 978-1-280-38769-2
035			\|a (OCoLC)664118713
035			\|a (DE-599)BVBBV041905175
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
082	0		\|a 512.0285 \|2 22
110	2		\|a AISC (Conference) < 2010, Paris, France> \|e Verfasser \|4 aut
245	1	0	\|a Intelligent computer mathematics \|b 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings \|c Serge Autexier ... [et al.] (eds.)
246	1	3	\|a AISC 2010
246	1	3	\|a Calculemus 2010
246	1	3	\|a MKM 2010
264		1	\|a Berlin \|b Springer \|c c2010
300			\|a 1 Online-Ressource (xv, 469 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Lecture notes in computer science \|v 6167
490	0		\|a Lecture notes in computer science
490	0		\|a LNCS sublibrary
500			\|a International conference proceedings
500			\|a Includes bibliographical references and index
650		4	\|a Datenverarbeitung
650		4	\|a Algebra / Data processing / Congresses
650		4	\|a Mathematical analysis / Data processing / Congresses
650		4	\|a Logic, Symbolic and mathematical / Congresses
650		4	\|a Knowledge management / Congresses
650	0	7	\|a Computeralgebra \|0 (DE-588)4010449-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Wissensmanagement \|0 (DE-588)4561842-2 \|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)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	0	1	\|a Wissensmanagement \|0 (DE-588)4561842-2 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	1	1	\|a Computeralgebra \|0 (DE-588)4010449-7 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	2	1	\|a Computeralgebra \|0 (DE-588)4010449-7 \|D s
689	2		\|8 3\p \|5 DE-604
700	1		\|a Autexier, Serge \|e Sonstige \|4 oth
710	2		\|a Calculemus 2010 <2010, Paris, France> \|e Sonstige \|4 oth
710	2		\|a MKM 2010 <2010, Paris, France> \|e Sonstige \|4 oth
856	4	0	\|u http://lib.myilibrary.com?id=356561 \|x Aggregator \|3 Volltext
912			\|a ZDB-26-MYL
999			\|a oai:aleph.bib-bvb.de:BVB01-027348845
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804152263261814784
any_adam_object
author_corporate	AISC (Conference) < 2010, Paris, France>
author_corporate_role	aut
author_facet	AISC (Conference) < 2010, Paris, France>
author_sort	AISC (Conference) < 2010, Paris, France>
building	Verbundindex
bvnumber	BV041905175
collection	ZDB-26-MYL
ctrlnum	(OCoLC)664118713 (DE-599)BVBBV041905175
dewey-full	512.0285
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	512 - Algebra
dewey-raw	512.0285
dewey-search	512.0285
dewey-sort	3512.0285
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03116nmm a2200733zcb4500</leader><controlfield tag="001">BV041905175</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141287</subfield><subfield code="9">978-3-642-14128-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642141285</subfield><subfield code="9">3-642-14128-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141270</subfield><subfield code="9">978-3-642-14127-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642141277</subfield><subfield code="9">3-642-14127-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280387692</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-38769-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)664118713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041905175</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">AISC (Conference) < 2010, Paris, France></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intelligent computer mathematics</subfield><subfield code="b">10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings</subfield><subfield code="c">Serge Autexier ... [et al.] (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">AISC 2010</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Calculemus 2010</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">MKM 2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">c2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 469 p.)</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="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6167</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">LNCS sublibrary</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra / Data processing / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical analysis / Data processing / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge management / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</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="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Autexier, Serge</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Calculemus 2010 <2010, Paris, France></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">MKM 2010 <2010, Paris, France></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356561</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027348845</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV041905175
illustrated	Not Illustrated
indexdate	2024-07-10T01:07:56Z
institution	BVB
isbn	9783642141287 3642141285 9783642141270 3642141277 9781280387692
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027348845
oclc_num	664118713
open_access_boolean
physical	1 Online-Ressource (xv, 469 p.)
psigel	ZDB-26-MYL
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series2	Lecture notes in computer science LNCS sublibrary
spelling	AISC (Conference) < 2010, Paris, France> Verfasser aut Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.) AISC 2010 Calculemus 2010 MKM 2010 Berlin Springer c2010 1 Online-Ressource (xv, 469 p.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6167 Lecture notes in computer science LNCS sublibrary International conference proceedings Includes bibliographical references and index Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematik (DE-588)4037944-9 s Wissensmanagement (DE-588)4561842-2 s 1\p DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Computeralgebra (DE-588)4010449-7 s 2\p DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s 3\p DE-604 Autexier, Serge Sonstige oth Calculemus 2010 <2010, Paris, France> Sonstige oth MKM 2010 <2010, Paris, France> Sonstige oth http://lib.myilibrary.com?id=356561 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Mathematik (DE-588)4037944-9 gnd
subject_GND	(DE-588)4010449-7 (DE-588)4069034-9 (DE-588)4033447-8 (DE-588)4561842-2 (DE-588)4037944-9 (DE-588)1071861417
title	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
title_alt	AISC 2010 Calculemus 2010 MKM 2010
title_auth	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
title_exact_search	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
title_full	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.)
title_fullStr	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.)
title_full_unstemmed	Intelligent computer mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings Serge Autexier ... [et al.] (eds.)
title_short	Intelligent computer mathematics
title_sort	intelligent computer mathematics 10th international conference aisc 2010 17th symposium calculemus 2010 and 9th international conference mkm 2010 paris france july 5 10 2010 proceedings
title_sub	10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
topic	Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra (DE-588)4010449-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Mathematik (DE-588)4037944-9 gnd
topic_facet	Datenverarbeitung Algebra / Data processing / Congresses Mathematical analysis / Data processing / Congresses Logic, Symbolic and mathematical / Congresses Knowledge management / Congresses Computeralgebra Automatisches Beweisverfahren Künstliche Intelligenz Wissensmanagement Mathematik Konferenzschrift
url	http://lib.myilibrary.com?id=356561
work_keys_str_mv	AT aiscconference2010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT autexierserge intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT calculemus20102010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT mkm20102010parisfrance intelligentcomputermathematics10thinternationalconferenceaisc201017thsymposiumcalculemus2010and9thinternationalconferencemkm2010parisfrancejuly5102010proceedings AT aiscconference2010parisfrance aisc2010 AT autexierserge aisc2010 AT calculemus20102010parisfrance aisc2010 AT mkm20102010parisfrance aisc2010 AT aiscconference2010parisfrance calculemus2010 AT autexierserge calculemus2010 AT calculemus20102010parisfrance calculemus2010 AT mkm20102010parisfrance calculemus2010 AT aiscconference2010parisfrance mkm2010 AT autexierserge mkm2010 AT calculemus20102010parisfrance mkm2010 AT mkm20102010parisfrance mkm2010

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