Holdings: Intelligent computer mathematics

Intelligent computer mathematics: MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7961 : Lecture notes in artificial intelligence
Subjects:	Künstliche Intelligenz Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift > 2013 > Bath
Physical Description:	XV, 384 S.
ISBN:	9783642393198

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041202837
003	DE-604
005	20131125
007	t\|
008	130805s2013 gw \|\|\|\| 10\|\|\| eng d
020			\|a 9783642393198 \|9 978-3-642-39319-8
035			\|a (OCoLC)857108737
035			\|a (DE-599)BVBBV041202837
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 004.0151 \|2 23
245	1	0	\|a Intelligent computer mathematics \|b MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings \|c Jacques Carette ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XV, 384 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7961 : Lecture notes in artificial intelligence
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 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
650	0	7	\|a Computeralgebra \|0 (DE-588)4010449-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Bath \|2 gnd-content
689	0	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0	1	\|a Computeralgebra \|0 (DE-588)4010449-7 \|D s
689	0	2	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	1	1	\|a Wissensmanagement \|0 (DE-588)4561842-2 \|D s
689	1		\|5 DE-604
700	1		\|a Carette, Jacques \|e Sonstige \|4 oth
711	2		\|a MKM \|n 12 \|d 2013 \|c Bath \|j Sonstige \|0 (DE-588)1044167246 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-39320-4
830		0	\|a Lecture notes in computer science \|v 7961 : Lecture notes in artificial intelligence \|w (DE-604)BV000000607 \|9 7961
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026177683

Record in the Search Index

_version_	1820875470194868224
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV041202837
classification_rvk	SS 4800
ctrlnum	(OCoLC)857108737 (DE-599)BVBBV041202837
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV041202837</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131125</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130805s2013 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642393198</subfield><subfield code="9">978-3-642-39319-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)857108737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041202837</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intelligent computer mathematics</subfield><subfield code="b">MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings</subfield><subfield code="c">Jacques Carette ... (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">XV, 384 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">7961 : Lecture notes in artificial intelligence</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">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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Bath</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Carette, Jacques</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MKM</subfield><subfield code="n">12</subfield><subfield code="d">2013</subfield><subfield code="c">Bath</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044167246</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-39320-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7961 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7961</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026177683</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Bath gnd-content
genre_facet	Konferenzschrift 2013 Bath
id	DE-604.BV041202837
illustrated	Not Illustrated
indexdate	2025-01-10T15:16:08Z
institution	BVB
institution_GND	(DE-588)1044167246
isbn	9783642393198
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026177683
oclc_num	857108737
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XV, 384 S.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings Jacques Carette ... (eds.) Berlin [u.a.] Springer 2013 XV, 384 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7961 : Lecture notes in artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Bath gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Computeralgebra (DE-588)4010449-7 s Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Mathematik (DE-588)4037944-9 s Wissensmanagement (DE-588)4561842-2 s Carette, Jacques Sonstige oth MKM 12 2013 Bath Sonstige (DE-588)1044167246 oth Erscheint auch als Online-Ausgabe 978-3-642-39320-4 Lecture notes in computer science 7961 : Lecture notes in artificial intelligence (DE-604)BV000000607 7961
spellingShingle	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd
subject_GND	(DE-588)4033447-8 (DE-588)4561842-2 (DE-588)4069034-9 (DE-588)4037944-9 (DE-588)4010449-7 (DE-588)1071861417
title	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings
title_auth	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings
title_exact_search	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings
title_full	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings Jacques Carette ... (eds.)
title_fullStr	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings Jacques Carette ... (eds.)
title_full_unstemmed	Intelligent computer mathematics MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings Jacques Carette ... (eds.)
title_short	Intelligent computer mathematics
title_sort	intelligent computer mathematics mkm calculemus dml and sytems and projects 2013 held as part of cicm 2013 bath uk july 8 12 2013 proceedings
title_sub	MKM, Calculemus, DML, and sytems and projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 ; proceedings
topic	Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensmanagement (DE-588)4561842-2 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematik (DE-588)4037944-9 gnd Computeralgebra (DE-588)4010449-7 gnd
topic_facet	Künstliche Intelligenz Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift 2013 Bath
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT carettejacques intelligentcomputermathematicsmkmcalculemusdmlandsytemsandprojects2013heldaspartofcicm2013bathukjuly8122013proceedings AT mkmbath intelligentcomputermathematicsmkmcalculemusdmlandsytemsandprojects2013heldaspartofcicm2013bathukjuly8122013proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items