Verfügbarkeit: Intelligent computer mathematics

Intelligent computer mathematics: 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7362 : Lecture notes in artificial intelligence
Schlagworte:	Künstliche Intelligenz Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift > 2012 > Bremen
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XVIII, 471 S. graph. Darst.
ISBN:	3642313736 9783642313738

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040284996
003	DE-604
005	20120726
007	t\|
008	120702s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N24 \|2 dnb
016	7		\|a 1023016036 \|2 DE-101
020			\|a 3642313736 \|9 3-642-31373-6
020			\|a 9783642313738 \|c Pb. : EUR 66.34 (DE) (freier Pr.), EUR 68.20 (AT) (freier Pr.), sfr 83.00 (freier Pr.) \|9 978-3-642-31373-8
024	3		\|a 9783642313738
028	5	2	\|a Best.-Nr.: 86122697
035			\|a (OCoLC)802523029
035			\|a (DE-599)DNB1023016036
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 511.028563 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a 510 \|2 sdnb
245	1	0	\|a Intelligent computer mathematics \|b 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings \|c Johan Jeuring ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XVIII, 471 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7362 : 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 2012 \|z Bremen \|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 Jeuring, Johan \|e Sonstige \|4 oth
711	2		\|a CICM \|n 5. \|d 2012 \|c Bremen \|j Sonstige \|0 (DE-588)1023842416 \|4 oth
711	2		\|a AISC \|n 11 \|d 2012 \|c Bremen \|j Sonstige \|0 (DE-588)102393292X \|4 oth
711	2		\|a Calculemus \|n 19 \|d 2012 \|c Bremen \|j Sonstige \|0 (DE-588)1023842440 \|4 oth
711	2		\|a DML \|n 5 \|d 2012 \|c Bremen \|j Sonstige \|0 (DE-588)102460506X \|4 oth
711	2		\|a MKM \|n 11 \|d 2012 \|c Bremen \|j Sonstige \|0 (DE-588)1023842548 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-31374-5
830		0	\|a Lecture notes in computer science \|v 7362 : Lecture notes in artificial intelligence \|w (DE-604)BV000000607 \|9 7362
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4052367&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025140289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025140289

Datensatz im Suchindex

_version_	1820875407459614720
adam_text	IMAGE 1 TABLE O F C O N T E N T S MATHEMATICAL KNOWLEDGE M A N A G E M E N T 2 0 1 2 DEPENDENCIES IN FORMAL MATHEMATICS: APPLICATIONS AND EXTRACTION FOR COQ AND MIZAR 1 JESSE ALAMA, LIONEL MAMANE, AND J O S E F URBAN PROOF. MESSAGE AND CERTIFICATE 17 ANDREA ASPERTI CHALLENGES AND EXPERIENCES IN MANAGING LARGE-SCALE PROOFS 32 TIMOTHY BOURKE, MATTHIAS DAUM, GERWIN KLEIN, AND RAFAL KOLANSKI SEMANTIC A L L I A N C E : A FRAMEWORK FOR SEMANTIC ALLIES 49 CATALIN DAVID, CONSTANTIN JUCOVSCHI, ANDREA KOHLHASE, AND MICHAEL KOHLHASE EXTENDING MKM FORMATS A T THE STATEMENT LEVEL 65 FULYA HOROZAL, MICHAEL KOHLHASE. A N D FLORIAN RABE A STREAMING DIGITAL INK FRAMEWORK FOR MULTI-PARTY COLLABORATION 81 R U I HU, VADIM MAZALOV, AND STEPHEN M. W A T T COST-EFFECTIVE INTEGRATION OF MKM SEMANTIC SERVICES INTO EDITING ENVIRONMENTS 96 CONSTANTIN JUCOVSCHI UNDERSTANDING THE LEARNERS' ACTIONS WHEN USING MATHEMATICS LEARNING TOOLS I L L PAUL LIBBRECHT, SANDRA REBHOLZ, DANIEL HERDING, WOLFGANG MIILLER, AND FELIX TSCHEULIN TOWARDS UNDERSTANDING TRIANGLE CONSTRUCTION PROBLEMS 127 VESNA MARINKOVIC AND PREDRAG JANICIC A QUERY LANGUAGE FOR FORMAL MATHEMATICAL LIBRARIES 143 FLORIAN RABE ABRAMOWITZ AND STEGUN - A RESOURCE FOR MATHEMATICAL DOCUMENT ANALYSIS 159 A L A N P. S E X T O N POINT-AND-WRITE - DOCUMENTING FORMAL MATHEMATICS BY REFERENCE 169 CARST TANKINK. CHRISTOPH LANGE, AND J O S E F URBAN HTTP://D-NB.INFO/1023016036 IMAGE 2 XVI TABLE OF CONTENTS AN ESSENCE OF SSREFLECT 186 IAIN WHITESIDE. DAVID ASPINALL, AND G U D M U N D GROV C A L C U L E M U S 2 0 1 2 THEORY PRESENTATION COMBINATORS 202 JACQUES CARETTE AND B.USSELL O ' C O N N O R VERIFYING AN ALGORITHM COMPUTING DISCRETE VECTOR FIELDS FOR DIGITAL IMAGING 216 JONATHAN HERAS, MAN,A POZA. AND JULIO RUBIO TOWARDS THE FORMAL SPECIFICATION AND VERIFICATION OF MAPLE PROGRAMS 231 M U H A M M A D TAIMOOR K H A N AND WOLFGANG SCHREINER FORMALIZING FRANKL'S CONJECTURE: FC-FAMILIES 248 FILIP MARIE. MIODRAG ZIVKOVIC. AND BOJAN VUCKOVIE CDCL-BASED ABSTRACT STATE TRANSITION SYSTEM FOR COHERENT LOGIC 264 MLADEN NIKOLIE AND. PREDRAG JANICIC SPEEDING UP CYLINDRICAL ALGEBRAIC DECOMPOSITION BY GROBNER BASES . . . 280 DAVID J. WILSON, R.USSELL J. BRADFORD, AND J A M E S H. DAVENPORT. ARTIFICIAL INTELLIGENCE A N D S Y M B O L I C C O M P U T A T I O N 2 0 1 2 A SYSTEM FOR AXIOMATIC PROGRAMMING 295 GABRIEL DOS R.EIS REASONING ON SCHEMATA OF FORMULAE 310 MNACHO ECLIENIM AND NICOLAS PELTIER MANAGEMENT OF CHANGE IN DECLARATIVE LANGUAGES 326 MIHNEA IANCU AND FLORIAN RABE MATHWEBSEARCH 0.5: SCALING AN OPEN FORMULA SEARCH ENGINE 342 MICHAEL KOHLHASE, BOGDAN A. MATICAN, AND CORNELIU- CLAUD;IU PRODESCU REAL ALGEBRAIC STRATEGIES FOR METITARSKI PROOFS 358 GRANT, OLNEY PASSMORE. LAWRENCE C. PAULSON, AND LEONARDO DE MOURA IMAGE 3 TABLE OF CONTENTS XVII A COMBINATOR LANGUAGE FOR THEOREM DISCOVERY 371 PHIL SCOTT AND JACQUES FLEURIOT D I G I T A L M A T H E M A T I C S LIBRARIES 2 0 1 2 DYNGENPAR - A DYNAMIC GENERALIZED PARSER FOR COMMON MATHEMATICAL LANGUAGE 386 K E V I N KOFLER A N D ARNOLD N E U M A I E R WRITING ON CLOUDS 402 VADIM MAZALOV A N D STEPHEN M. W A T T S Y S T E M S A N D P R O J E C T S 2 0 1 2 A WEB INTERFACE FOR MATITA 417 ANDREA ASPERTI A N D W I L M E R RICCIOTTI MAXTRACT: CONVERTING P D F TO IM^X, MATHML AND TEXT 422 J O S E F B. BAKER, A L A N P. SEXTON, AND VOLKER SORGE NEW DEVELOPMENTS IN PARSING MIZAR 427 CZESLAW BYLINSKI AND JESSE ALARRIA OPEN GEOMETRY TEXTBOOK: A CASE STUDY OF KNOWLEDGE ACQUISITION VIA COLLECTIVE INTELLIGENCE (PROJECT DESCRIPTION) 432 X I A O Y U CHEN. WEI LI, JIE LUO, A N D DONGMING WANG PROJECT PRESENTATION: ALGORITHMIC STRUCTURING AND COMPRESSION OF PROOFS (ASCOP) 438 STEFAN HETZL ON FORMAL SPECIFICATION OF MAPLE PROGRAMS 443 M U H A M M A D TAIMOOR K H A N AND WOLFGANG SCHREINER THE P L A N E T A R Y PROJECT: TOWARDS EMATH3.0 448 MICHAEL KOHLHASE TENTATIVE EXPERIMENTS WITH ELLIPSIS IN MIZAR 453 A R T U R KORNILOWICZ REIMPLEMENTING THE MATHEMATICS SUBJECT CLASSIFICATION (MSC) AS A LINKED OPEN DATASET 458 CHRISTOPH LANGE, PATRICK ION, ANASTASIA D I M O U . CHARALAMPOS BRATSAS, JOSEPH CORNELL, WOLFRAM SPERBER, MICHAEL KOHLHASE, AND IOANNIS A N T O N I O U IMAGE 4 XVIII TABLE OF CONTENTS T H E DISTRIBUTED ONTOLOGY LANGUAGE (DOL): ONTOLOGY INTEGRATION AND INTEROPERABILITY APPLIED TO MATHEMATICAL FORMALIZATION 463 CHRISTOPH LANGE. OLIVER KUTZ. TILL MOSSAKOWSKI, AND MICHAEL GRII.NINGER ISABELLE/JEDIT - A PROVER IDE WITHIN THE P I D E FRAMEWORK 468 MAKARIUS WENZEL A U T H O R I N D E X 473
any_adam_object	1
building	Verbundindex
bvnumber	BV040284996
classification_rvk	SS 4800
ctrlnum	(OCoLC)802523029 (DE-599)DNB1023016036
dewey-full	511.028563
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.028563
dewey-search	511.028563
dewey-sort	3511.028563
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
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">BV040284996</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120726</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">120702s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023016036</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642313736</subfield><subfield code="9">3-642-31373-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642313738</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), EUR 68.20 (AT) (freier Pr.), sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-31373-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642313738</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86122697</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)802523029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023016036</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.028563</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intelligent computer mathematics</subfield><subfield code="b">11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings</subfield><subfield code="c">Johan Jeuring ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 471 S.</subfield><subfield code="b">graph. Darst.</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">7362 : 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">2012</subfield><subfield code="z">Bremen</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">Jeuring, Johan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CICM</subfield><subfield code="n">5.</subfield><subfield code="d">2012</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1023842416</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">AISC</subfield><subfield code="n">11</subfield><subfield code="d">2012</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102393292X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Calculemus</subfield><subfield code="n">19</subfield><subfield code="d">2012</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1023842440</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DML</subfield><subfield code="n">5</subfield><subfield code="d">2012</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102460506X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MKM</subfield><subfield code="n">11</subfield><subfield code="d">2012</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1023842548</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-31374-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7362 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7362</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4052367&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=025140289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025140289</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Bremen gnd-content
genre_facet	Konferenzschrift 2012 Bremen
id	DE-604.BV040284996
illustrated	Illustrated
indexdate	2025-01-10T15:15:08Z
institution	BVB
institution_GND	(DE-588)1023842416 (DE-588)102393292X (DE-588)1023842440 (DE-588)102460506X (DE-588)1023842548
isbn	3642313736 9783642313738
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025140289
oclc_num	802523029
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	XVIII, 471 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings Johan Jeuring ... (eds.) Berlin [u.a.] Springer 2012 XVIII, 471 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7362 : 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 2012 Bremen 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 Jeuring, Johan Sonstige oth CICM 5. 2012 Bremen Sonstige (DE-588)1023842416 oth AISC 11 2012 Bremen Sonstige (DE-588)102393292X oth Calculemus 19 2012 Bremen Sonstige (DE-588)1023842440 oth DML 5 2012 Bremen Sonstige (DE-588)102460506X oth MKM 11 2012 Bremen Sonstige (DE-588)1023842548 oth Erscheint auch als Online-Ausgabe 978-3-642-31374-5 Lecture notes in computer science 7362 : Lecture notes in artificial intelligence (DE-604)BV000000607 7362 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4052367&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025140289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; 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 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings
title_auth	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings
title_exact_search	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings
title_full	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings Johan Jeuring ... (eds.)
title_fullStr	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings Johan Jeuring ... (eds.)
title_full_unstemmed	Intelligent computer mathematics 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; proceedings Johan Jeuring ... (eds.)
title_short	Intelligent computer mathematics
title_sort	intelligent computer mathematics 11th international conference aisc 2012 19th symposium calculemus 2012 5th international workshop dml 2012 11th international conference mkm 2012 systems and projects held as part of cicm 2012 bremen germany july 8 13 2012 proceedings
title_sub	11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 ; 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 2012 Bremen
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4052367&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025140289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT jeuringjohan intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings AT cicmbremen intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings AT aiscbremen intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings AT calculemusbremen intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings AT dmlbremen intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings AT mkmbremen intelligentcomputermathematics11thinternationalconferenceaisc201219thsymposiumcalculemus20125thinternationalworkshopdml201211thinternationalconferencemkm2012systemsandprojectsheldaspartofcicm2012bremengermanyjuly8132012proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge