Holdings: Intelligent computer mathematics

Intelligent computer mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2011
Series:	Lecture notes in computer science 6824
Subjects:	Künstliche Intelligenz Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift > 2011 > Bertinoro
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XIII, 312 S.
ISBN:	9783642226724 3642226728

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV039155435
003	DE-604
005	20111207
007	t\|
008	110725s2011 xx \|\|\|\| 10\|\|\| eng d
015			\|a 11,N26 \|2 dnb
016	7		\|a 1012996417 \|2 DE-101
020			\|a 9783642226724 \|c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 978-3-642-22672-4
020			\|a 3642226728 \|c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 3-642-22672-8
024	3		\|a 9783642226724
028	5	2	\|a Best.-Nr.: 80074368
035			\|a (OCoLC)838682384
035			\|a (DE-599)DNB1012996417
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 511.028563 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a 510 \|2 sdnb
084			\|a DAT 702f \|2 stub
245	1	0	\|a Intelligent computer mathematics \|b 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings \|c James H. Davenport ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XIII, 312 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 6824 : 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 2011 \|z Bertinoro \|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 Davenport, James H. \|e Sonstige \|4 oth
711	2		\|a Calculemus \|n 18 \|d 2011 \|c Bertinoro \|j Sonstige \|0 (DE-588)16165576-2 \|4 oth
711	2		\|a MKM \|n 10 \|d 2011 \|c Bertinoro \|j Sonstige \|0 (DE-588)16165577-4 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Intelligent computer mathematics
830		0	\|a Lecture notes in computer science \|v 6824 \|w (DE-604)BV000000607 \|9 6824
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3845099&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=024173101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024173101

Record in the Search Index

_version_	1820875336792932352
adam_text	IMAGE 1 TABLE OF CONTENTS CALCULEMUS 2011 ENUMERATION OF AG-GROUPOIDS 1 ANDREAS DISTLER, MUHAMMAD SHAH, AND VOLKER SORGE RETARGETING OPENAXIOM TO POLY/ML: TOWARDS AN INTEGRATED PROOF ASSISTANTS AND COMPUTER ALGEBRA SYSTEM FRAMEWORK 15 GABRIEL DOS REIS, DAVID MATTHEWS, AND YUE LI INCIDENCE SIMPLICIAL MATRICES FORMALIZED IN COQ/SSREFLECT 30 JONATHAN HERAS, MARIA POZA, MAXIME DENES, AND LAURENCE RIDEAU PROOF ASSISTANT DECISION PROCEDURES FOR FORMALIZING ORIGAMI 45 CEZARY KALISZYK AND TETSUO IDA USING THEOREMA IN THE FORMALIZATION OF THEORETICAL ECONOMICS 58 MANFRED KERBER, COLIN ROWAT, AND WOLFGANG WINDSTEIGER VIEW OF COMPUTER ALGEBRA DATA FROM COQ 74 VLADIMIR KOMENDANTSKY, ALEXANDER KONOVALOV, AND STEVE LINTON COMPUTER CERTIFIED EFFICIENT EXACT REALS IN C OQ 90 ROBBERT KREBBERS AND BAS SPITTERS A FOUNDATIONAL VIEW ON INTEGRATION PROBLEMS 107 FLORIAN RABE, MICHAEL KOHLHASE, AND CLAUDIO SACERDOTI COEN EFFICIENT FORMAL VERIFICATION OF BOUNDS OF LINEAR PROGRAMS 123 ALEXEY SOLOVYEV AND THOMAS C. HALES MATHEMATICAL KNOWLEDGE MANAGEMENT 2011 LARGE FORMAL WIKIS: ISSUES AND SOLUTIONS 133 JESSE ALAMA, KASPER BRINK, LIONEL MAMANE, AND JOSEF URBAN LICENSING THE MIZAR MATHEMATICAL LIBRARY 149 JESSE ALAMA, MICHAEL KOHLHASE, LIONEL MAMANE, ADAM NAUMOWICZ, PIOTR RUDNICKI, AND JOSEF URBAN WORKFLOWS FOR THE MANAGEMENT OF CHANGE IN SCIENCE, TECHNOLOGIES, ENGINEERING AND MATHEMATICS 164 SERGE AUTEXIER, CATALIN DAVID, DOMINIK DIETRICH, MICHAEL KOHLHASE, AND VYACHESLAV ZHOLUDEV BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012996417 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS PARSING AND DISAMBIGUATION OF SYMBOLIC MATHEMATICS IN THE NAPROCHE SYSTEM 180 MARCOS CRAMER, PETER KOEPKE, AND BERNHARD SCHROEDER INTERLEAVING STRATEGIES 196 BASTIAAN HEEREN AND JOHAN JEURING COMBINING SOURCE, CONTENT, PRESENTATION, NARRATION, AND RELATIONAL REPRESENTATION 212 FULYA HOROZAL, ALIN IACOB, CONSTANTIN JUCOVSCHI, MICHAEL KOHLHASE, AND FLORIAN RABE INDEXING AND SEARCHING MATHEMATICS IN DIGITAL LIBRARIES: ARCHITECTURE, DESIGN AND SCALABILITY ISSUES 228 PETR SOJKA AND MARTIN LISKA ISABELLE AS DOCUMENT-ORIENTED PROOF ASSISTANT 244 MAKARIUS WENZEL TOWARDS FORMAL PROOF SCRIPT REFACTORING 260 IAIN WHITESIDE, DAVID ASPINALL, LUCAS DIXON, AND GUDMUND GROV CICM SYSTEMS AND PROJECTS MIZAR-ITEMS: EXPLORING FINE-GRAINED DEPENDENCIES IN THE MIZAR MATHEMATICAL LIBRARY 276 JESSE ALAMA FORMALIZATION OF FORMAL TOPOLOGY BY MEANS OF THE INTERACTIVE THEOREM PROVER MATITA 278 ANDREA ASPERTI, MARIA EMILIA MAIETTI, CLAUDIO SACERDOTI COEN, GIOVANNI SAMBIN, AND SILVIO VALENTINI PROJECT EUDML - A FIRST YEAR DEMONSTRATION 281 JOSE BORBINHA, THIERRY BOUCHE, ALEKSANDER NOWINSKI, AND PETR SOJKA A SYMBOLIC COMPANION FOR INTERACTIVE GEOMETRIC SYSTEMS 285 FRANCISCO BOTANA MATHSCHEME: PROJECT DESCRIPTION 287 JACQUES CARETTE, WILLIAM M. FARMER, AND RUSSELL O 'CONNOR PROJECT ABSTRACT: LOGIC ATLAS AND INTEGRATOR (LATIN) 289 MIHAI CODESCU, FULYA HOROZAL, MICHAEL KOHLHASE, TILL MOSSAKOWSKI, AND FLORIAN RABE THE LATEXML DAEMON: EDITABLE MATH ON THE COLLABORATIVE WEB 292 DEYAN GINEV, HEINRICH STAMERJOHANNS, BRUCE R. MILLER, AND MICHAEL KOHLHASE IMAGE 3 TABLE OF CONTENTS XIII A SYSTEM FOR COMPUTING AND REASONING IN ALGEBRAIC TOPOLOGY 295 JONATHAN HERAS, VICO PASCUAL, AND JULIO RUBIO LEARNING2 REASON 298 DANIEL KUEHLWEIN, JOSEF URBAN, EVGENI TSIVTSIVADZE, HERMAN GEUVERS, AND TOM HESKES A FORMALIZATION OF THE C99 STANDARD IN HOL, ISABELLE AND COQ 301 ROBBERT KREBBERS AND FREEK WIEDIJK KREXTOR - AN EXTENSIBLE FRAMEWORK FOR CONTRIBUTING CONTENT MATH TO THE WEB OF DATA 304 CHRISTOPH LANGE SYSTEM DESCRIPTION: EGOMATH2 AS A TOOL FOR MATHEMATICAL SEARCHING ON WIKIPEDIA.ORG 307 JOZEF MISUTKA AND LEO GALAMBOS AUTHOR INDEX 311
any_adam_object	1
building	Verbundindex
bvnumber	BV039155435
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 702f
ctrlnum	(OCoLC)838682384 (DE-599)DNB1012996417
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">BV039155435</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111207</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110725s2011 xx \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012996417</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642226724</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22672-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642226728</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-22672-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642226724</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80074368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)838682384</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012996417</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</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">Intelligent computer mathematics</subfield><subfield code="b">18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings</subfield><subfield code="c">James H. Davenport ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 312 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">6824 : 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">2011</subfield><subfield code="z">Bertinoro</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">Davenport, James H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Calculemus</subfield><subfield code="n">18</subfield><subfield code="d">2011</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16165576-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MKM</subfield><subfield code="n">10</subfield><subfield code="d">2011</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16165577-4</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="t">Intelligent computer mathematics</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6824</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6824</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=3845099&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=024173101&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-024173101</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Bertinoro gnd-content
genre_facet	Konferenzschrift 2011 Bertinoro
id	DE-604.BV039155435
illustrated	Not Illustrated
indexdate	2025-01-10T15:14:00Z
institution	BVB
institution_GND	(DE-588)16165576-2 (DE-588)16165577-4
isbn	9783642226724 3642226728
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024173101
oclc_num	838682384
open_access_boolean
owner	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
physical	XIII, 312 S.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings James H. Davenport ... (eds.) Berlin [u.a.] Springer 2011 XIII, 312 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6824 : 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 2011 Bertinoro 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 Davenport, James H. Sonstige oth Calculemus 18 2011 Bertinoro Sonstige (DE-588)16165576-2 oth MKM 10 2011 Bertinoro Sonstige (DE-588)16165577-4 oth Erscheint auch als Online-Ausgabe Intelligent computer mathematics Lecture notes in computer science 6824 (DE-604)BV000000607 6824 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3845099&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=024173101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; 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 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings
title_auth	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings
title_exact_search	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings
title_full	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings James H. Davenport ... (eds.)
title_fullStr	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings James H. Davenport ... (eds.)
title_full_unstemmed	Intelligent computer mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings James H. Davenport ... (eds.)
title_short	Intelligent computer mathematics
title_sort	intelligent computer mathematics 18th symposium calculemus 2011 and 10th international conference mkm 2011 bertinoro italy july 18 23 2011 proceedings
title_sub	18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; 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 2011 Bertinoro
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3845099&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=024173101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT davenportjamesh intelligentcomputermathematics18thsymposiumcalculemus2011and10thinternationalconferencemkm2011bertinoroitalyjuly18232011proceedings AT calculemusbertinoro intelligentcomputermathematics18thsymposiumcalculemus2011and10thinternationalconferencemkm2011bertinoroitalyjuly18232011proceedings AT mkmbertinoro intelligentcomputermathematics18thsymposiumcalculemus2011and10thinternationalconferencemkm2011bertinoroitalyjuly18232011proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items