Holdings: Towards mechanized mathematical assistants

Towards mechanized mathematical assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2007
Series:	Lecture Notes in Computer Science 4573 : Lecture notes in artificial intelligence
Subjects:	Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift > 2007 > Hagenberg Mühlkreis Hagenberg <Mühlkreis,2007>
Online Access:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 DE-355 Volltext
Physical Description:	1 Online-Ressource (XIII, 406 S.) Ill., graph. Darst.
ISBN:	3540730834 9783540730835 9783540730866
DOI:	10.1007/978-3-540-73086-6

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV023339380
003	DE-604
005	20080623
007	cr\|uuu---uuuuu
008	080611s2007 gw ad\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 07,N24,0906 \|2 dnb
020			\|a 3540730834 \|c : ca. EUR 59.92 (freier Pr.), ca. sfr 92.00 (freier Pr.) \|9 3-540-73083-4
020			\|a 9783540730835 \|c : ca. EUR 59.92 (freier Pr.), ca. sfr 92.00 (freier Pr.) \|9 978-3-540-73083-5
020			\|a 9783540730866 \|c Online \|9 978-3-540-73086-6
024	7		\|a 10.1007/978-3-540-73086-6 \|2 doi
024	3		\|a 9783540730835
028	5	2	\|a 12077151
035			\|a (OCoLC)255895051
035			\|a (DE-599)BVBBV023339380
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
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 \|a DE-355
082	0		\|a 512.00285
084			\|a 510 \|2 sdnb
084			\|a DAT 000 \|2 stub
084			\|a DAT 702f \|2 stub
245	1	0	\|a Towards mechanized mathematical assistants \|b 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings \|c Manuel Kauers ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a 1 Online-Ressource (XIII, 406 S.) \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 4573 : Lecture notes in artificial intelligence
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 2007 \|z Hagenberg Mühlkreis \|2 gnd-content
655		7	\|a Hagenberg <Mühlkreis,2007> \|2 gnd \|9 rswk-swf
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computeralgebra \|0 (DE-588)4010449-7 \|D s
689	1	1	\|a Hagenberg <Mühlkreis,2007> \|A f
689	1		\|5 DE-604
689	2	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	2	1	\|a Wissensmanagement \|0 (DE-588)4561842-2 \|D s
689	2		\|5 DE-604
700	1		\|a Kauers, Manuel \|e Sonstige \|4 oth
711	2		\|a Calculemus \|n 14 \|d 2007 \|c Hagenberg im Mühlkreis \|j Sonstige \|0 (DE-588)6065862-9 \|4 oth
711	2		\|a MKM \|n 6 \|d 2007 \|c Hagenberg im Mühlkreis \|j Sonstige \|0 (DE-588)10176066-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 4573 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 4573
856	4	0	\|u https://doi.org/10.1007/978-3-540-73086-6 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016523179
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-73086-6 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875044335648768
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV023339380
classification_rvk	SS 4800
classification_tum	DAT 000 DAT 702f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255895051 (DE-599)BVBBV023339380
dewey-full	512.00285
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	512 - Algebra
dewey-raw	512.00285
dewey-search	512.00285
dewey-sort	3512.00285
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
doi_str_mv	10.1007/978-3-540-73086-6
format	Electronic Conference Proceeding eBook
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">BV023339380</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080623</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080611s2007 gw ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N24,0906</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540730834</subfield><subfield code="c">: ca. EUR 59.92 (freier Pr.), ca. sfr 92.00 (freier Pr.)</subfield><subfield code="9">3-540-73083-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540730835</subfield><subfield code="c">: ca. EUR 59.92 (freier Pr.), ca. sfr 92.00 (freier Pr.)</subfield><subfield code="9">978-3-540-73083-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540730866</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-73086-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-73086-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540730835</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12077151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255895051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023339380</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-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><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.00285</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 000</subfield><subfield code="2">stub</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">Towards mechanized mathematical assistants</subfield><subfield code="b">14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings</subfield><subfield code="c">Manuel Kauers ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 406 S.)</subfield><subfield code="b">Ill., 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">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">4573 : Lecture notes in artificial intelligence</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">2007</subfield><subfield code="z">Hagenberg Mühlkreis</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Hagenberg <Mühlkreis,2007></subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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="1"><subfield code="a">Hagenberg <Mühlkreis,2007></subfield><subfield code="A">f</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kauers, Manuel</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">14</subfield><subfield code="d">2007</subfield><subfield code="c">Hagenberg im Mühlkreis</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6065862-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MKM</subfield><subfield code="n">6</subfield><subfield code="d">2007</subfield><subfield code="c">Hagenberg im Mühlkreis</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10176066-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4573 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4573</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-73086-6</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016523179</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73086-6</subfield><subfield code="l">DE-634</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/978-3-540-73086-6</subfield><subfield code="l">DE-M347</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/978-3-540-73086-6</subfield><subfield code="l">DE-91</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/978-3-540-73086-6</subfield><subfield code="l">DE-384</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/978-3-540-73086-6</subfield><subfield code="l">DE-473</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/978-3-540-73086-6</subfield><subfield code="l">DE-19</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/978-3-540-73086-6</subfield><subfield code="l">DE-706</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/978-3-540-73086-6</subfield><subfield code="l">DE-739</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/978-3-540-73086-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Hagenberg Mühlkreis gnd-content Hagenberg <Mühlkreis,2007> gnd
genre_facet	Konferenzschrift 2007 Hagenberg Mühlkreis Hagenberg <Mühlkreis,2007>
id	DE-604.BV023339380
illustrated	Illustrated
index_date	2024-07-02T21:01:05Z
indexdate	2025-01-10T15:09:22Z
institution	BVB
institution_GND	(DE-588)6065862-9 (DE-588)10176066-8
isbn	3540730834 9783540730835 9783540730866
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016523179
oclc_num	255895051
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 DE-355 DE-BY-UBR
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 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XIII, 406 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings Manuel Kauers ... (eds.) Berlin [u.a.] Springer 2007 1 Online-Ressource (XIII, 406 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 4573 : Lecture notes in artificial intelligence 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 2007 Hagenberg Mühlkreis gnd-content Hagenberg <Mühlkreis,2007> gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Computeralgebra (DE-588)4010449-7 s Hagenberg <Mühlkreis,2007> f Mathematik (DE-588)4037944-9 s Wissensmanagement (DE-588)4561842-2 s Kauers, Manuel Sonstige oth Calculemus 14 2007 Hagenberg im Mühlkreis Sonstige (DE-588)6065862-9 oth MKM 6 2007 Hagenberg im Mühlkreis Sonstige (DE-588)10176066-8 oth Lecture Notes in Computer Science 4573 : Lecture notes in artificial intelligence (DE-604)BV014880109 4573 https://doi.org/10.1007/978-3-540-73086-6 Verlag Volltext
spellingShingle	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings Lecture Notes in Computer Science 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)4561842-2 (DE-588)4069034-9 (DE-588)4037944-9 (DE-588)4010449-7 (DE-588)1071861417
title	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
title_auth	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
title_exact_search	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
title_exact_search_txtP	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
title_full	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings Manuel Kauers ... (eds.)
title_fullStr	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings Manuel Kauers ... (eds.)
title_full_unstemmed	Towards mechanized mathematical assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings Manuel Kauers ... (eds.)
title_short	Towards mechanized mathematical assistants
title_sort	towards mechanized mathematical assistants 14th symposium calculemus 2007 6th international conference mkm 2007 hagenberg austria june 27 30 2007 proceedings
title_sub	14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
topic	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	Wissensmanagement Automatisches Beweisverfahren Mathematik Computeralgebra Konferenzschrift 2007 Hagenberg Mühlkreis Hagenberg <Mühlkreis,2007>
url	https://doi.org/10.1007/978-3-540-73086-6
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT kauersmanuel towardsmechanizedmathematicalassistants14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings AT calculemushagenbergimmuhlkreis towardsmechanizedmathematicalassistants14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings AT mkmhagenbergimmuhlkreis towardsmechanizedmathematicalassistants14thsymposiumcalculemus20076thinternationalconferencemkm2007hagenbergaustriajune27302007proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items