Enabling collaboration on semiformal mathematical knowledge by semantic web integration /:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg :
AKA,
[2011]
|
| Schriftenreihe: | Studies on the Semantic Web ;
011. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 online resource (xviii, 592 pages) : illustrations |
| ISBN: | 9781614993452 1614993459 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn868068698 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140114s2011 gw a om 000 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IOSPR |d YDXCP |d OCLCF |d DEBBG |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d VT2 |d OCLCQ |d WYU |d JBG |d STF |d M8D |d OCLCQ |d OCLCO |d OCL |d AJS |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 869434801 |a 1055378035 |a 1066657017 |a 1081291733 | ||
| 020 | |a 9781614993452 |q (electronic bk.) | ||
| 020 | |a 1614993459 |q (electronic bk.) | ||
| 020 | |z 9781607508403 | ||
| 020 | |z 1607508400 | ||
| 020 | |z 9783898386579 | ||
| 020 | |z 3898386570 | ||
| 035 | |a (OCoLC)868068698 |z (OCoLC)869434801 |z (OCoLC)1055378035 |z (OCoLC)1066657017 |z (OCoLC)1081291733 | ||
| 050 | 4 | |a TK5105.888 |b .L365 2011eb | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 7 | |a 510.2856332 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Lange, Christoph, |e author. | |
| 245 | 1 | 0 | |a Enabling collaboration on semiformal mathematical knowledge by semantic web integration / |c Christoph Lange. |
| 264 | 1 | |a Heidelberg : |b AKA, |c [2011] | |
| 264 | 4 | |c ©2011 | |
| 300 | |a 1 online resource (xviii, 592 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies on the semantic web ; |v 011 | |
| 502 | |b Ph. D. |c Jacobs University Bremen |d 2011 | ||
| 505 | 0 | |a Web collaboration on mathematical knowledge -- Representing mathematical knowledge -- Ontologies for structures of mathematical knowledge -- Using mathematical markup for implementing and documenting expressive ontologies -- Multi-dimensional metadata markup -- Primitive services for managing mathematical knowledge -- Integrating assistive services into interactive documents -- Transparent translations in knowledge bases -- The semantic Wiki SWiM -- an integrated collaboration environment -- Usability evaluation of an integrated environment for maintaining semiformal collections -- Namesake prefixes -- Ontologies -- Algorithm and implementation details. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Knowledge representation (Information theory) |0 http://id.loc.gov/authorities/subjects/sh90004869 | |
| 650 | 0 | |a Semantic Web. |0 http://id.loc.gov/authorities/subjects/sh2002000569 | |
| 650 | 0 | |a OMDoc (Document markup language) |0 http://id.loc.gov/authorities/subjects/sh2008020304 | |
| 650 | 0 | |a Mathematics. |0 http://id.loc.gov/authorities/subjects/sh85082139 | |
| 650 | 6 | |a Représentation des connaissances. | |
| 650 | 6 | |a Web sémantique. | |
| 650 | 6 | |a Mathématiques. | |
| 650 | 7 | |a applied mathematics. |2 aat | |
| 650 | 7 | |a mathematics. |2 aat | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 650 | 7 | |a OMDoc (Document markup language) |2 fast | |
| 650 | 7 | |a Semantic Web |2 fast | |
| 655 | 7 | |a dissertations. |2 aat | |
| 655 | 7 | |a Academic theses |2 fast | |
| 655 | 7 | |a Academic theses. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026039 | |
| 655 | 7 | |a Thèses et écrits académiques. |2 rvmgf | |
| 776 | 0 | 8 | |i Print version: |a Lange, Christoph. |t Enabling collaboration on semiformal mathematical knowledge by semantic web integration |z 9781607508403 |w (DLC) 2012360724 |w (OCoLC)793546290 |
| 830 | 0 | |a Studies on the Semantic Web ; |v 011. |0 http://id.loc.gov/authorities/names/no2009156151 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683319 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 683319 | ||
| 938 | |a YBP Library Services |b YANK |n 11560706 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn868068698 |
|---|---|
| _version_ | 1816882256216588288 |
| adam_text | |
| any_adam_object | |
| author | Lange, Christoph |
| author_facet | Lange, Christoph |
| author_role | aut |
| author_sort | Lange, Christoph |
| author_variant | c l cl |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.888 .L365 2011eb |
| callnumber-search | TK5105.888 .L365 2011eb |
| callnumber-sort | TK 45105.888 L365 42011EB |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| contents | Web collaboration on mathematical knowledge -- Representing mathematical knowledge -- Ontologies for structures of mathematical knowledge -- Using mathematical markup for implementing and documenting expressive ontologies -- Multi-dimensional metadata markup -- Primitive services for managing mathematical knowledge -- Integrating assistive services into interactive documents -- Transparent translations in knowledge bases -- The semantic Wiki SWiM -- an integrated collaboration environment -- Usability evaluation of an integrated environment for maintaining semiformal collections -- Namesake prefixes -- Ontologies -- Algorithm and implementation details. |
| ctrlnum | (OCoLC)868068698 |
| dewey-full | 510.2856332 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.2856332 |
| dewey-search | 510.2856332 |
| dewey-sort | 3510.2856332 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Thesis Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03867cam a2200733 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn868068698</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">140114s2011 gw a om 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">JBG</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">869434801</subfield><subfield code="a">1055378035</subfield><subfield code="a">1066657017</subfield><subfield code="a">1081291733</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993452</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614993459</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607508403</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1607508400</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783898386579</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3898386570</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868068698</subfield><subfield code="z">(OCoLC)869434801</subfield><subfield code="z">(OCoLC)1055378035</subfield><subfield code="z">(OCoLC)1066657017</subfield><subfield code="z">(OCoLC)1081291733</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK5105.888</subfield><subfield code="b">.L365 2011eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">039000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">023000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">026000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510.2856332</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lange, Christoph,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Enabling collaboration on semiformal mathematical knowledge by semantic web integration /</subfield><subfield code="c">Christoph Lange.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg :</subfield><subfield code="b">AKA,</subfield><subfield code="c">[2011]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 592 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies on the semantic web ;</subfield><subfield code="v">011</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Ph. D.</subfield><subfield code="c">Jacobs University Bremen</subfield><subfield code="d">2011</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Web collaboration on mathematical knowledge -- Representing mathematical knowledge -- Ontologies for structures of mathematical knowledge -- Using mathematical markup for implementing and documenting expressive ontologies -- Multi-dimensional metadata markup -- Primitive services for managing mathematical knowledge -- Integrating assistive services into interactive documents -- Transparent translations in knowledge bases -- The semantic Wiki SWiM -- an integrated collaboration environment -- Usability evaluation of an integrated environment for maintaining semiformal collections -- Namesake prefixes -- Ontologies -- Algorithm and implementation details.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Knowledge representation (Information theory)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh90004869</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Semantic Web.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2002000569</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">OMDoc (Document markup language)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2008020304</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85082139</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Représentation des connaissances.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Web sémantique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">applied mathematics.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathematics.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Essays.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Pre-Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Knowledge representation (Information theory)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">OMDoc (Document markup language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantic Web</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">dissertations.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026039</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Thèses et écrits académiques.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Lange, Christoph.</subfield><subfield code="t">Enabling collaboration on semiformal mathematical knowledge by semantic web integration</subfield><subfield code="z">9781607508403</subfield><subfield code="w">(DLC) 2012360724</subfield><subfield code="w">(OCoLC)793546290</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies on the Semantic Web ;</subfield><subfield code="v">011.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009156151</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683319</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">683319</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11560706</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf |
| genre_facet | dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| id | ZDB-4-EBA-ocn868068698 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:25:43Z |
| institution | BVB |
| isbn | 9781614993452 1614993459 |
| language | English |
| oclc_num | 868068698 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xviii, 592 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | AKA, |
| record_format | marc |
| series | Studies on the Semantic Web ; |
| series2 | Studies on the semantic web ; |
| spelling | Lange, Christoph, author. Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Christoph Lange. Heidelberg : AKA, [2011] ©2011 1 online resource (xviii, 592 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Studies on the semantic web ; 011 Ph. D. Jacobs University Bremen 2011 Web collaboration on mathematical knowledge -- Representing mathematical knowledge -- Ontologies for structures of mathematical knowledge -- Using mathematical markup for implementing and documenting expressive ontologies -- Multi-dimensional metadata markup -- Primitive services for managing mathematical knowledge -- Integrating assistive services into interactive documents -- Transparent translations in knowledge bases -- The semantic Wiki SWiM -- an integrated collaboration environment -- Usability evaluation of an integrated environment for maintaining semiformal collections -- Namesake prefixes -- Ontologies -- Algorithm and implementation details. Print version record. Knowledge representation (Information theory) http://id.loc.gov/authorities/subjects/sh90004869 Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 OMDoc (Document markup language) http://id.loc.gov/authorities/subjects/sh2008020304 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Représentation des connaissances. Web sémantique. Mathématiques. applied mathematics. aat mathematics. aat MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Knowledge representation (Information theory) fast Mathematics fast OMDoc (Document markup language) fast Semantic Web fast dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf Print version: Lange, Christoph. Enabling collaboration on semiformal mathematical knowledge by semantic web integration 9781607508403 (DLC) 2012360724 (OCoLC)793546290 Studies on the Semantic Web ; 011. http://id.loc.gov/authorities/names/no2009156151 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683319 Volltext |
| spellingShingle | Lange, Christoph Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Studies on the Semantic Web ; Web collaboration on mathematical knowledge -- Representing mathematical knowledge -- Ontologies for structures of mathematical knowledge -- Using mathematical markup for implementing and documenting expressive ontologies -- Multi-dimensional metadata markup -- Primitive services for managing mathematical knowledge -- Integrating assistive services into interactive documents -- Transparent translations in knowledge bases -- The semantic Wiki SWiM -- an integrated collaboration environment -- Usability evaluation of an integrated environment for maintaining semiformal collections -- Namesake prefixes -- Ontologies -- Algorithm and implementation details. Knowledge representation (Information theory) http://id.loc.gov/authorities/subjects/sh90004869 Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 OMDoc (Document markup language) http://id.loc.gov/authorities/subjects/sh2008020304 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Représentation des connaissances. Web sémantique. Mathématiques. applied mathematics. aat mathematics. aat MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Knowledge representation (Information theory) fast Mathematics fast OMDoc (Document markup language) fast Semantic Web fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh90004869 http://id.loc.gov/authorities/subjects/sh2002000569 http://id.loc.gov/authorities/subjects/sh2008020304 http://id.loc.gov/authorities/subjects/sh85082139 http://id.loc.gov/authorities/genreForms/gf2014026039 |
| title | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / |
| title_auth | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / |
| title_exact_search | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / |
| title_full | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Christoph Lange. |
| title_fullStr | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Christoph Lange. |
| title_full_unstemmed | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Christoph Lange. |
| title_short | Enabling collaboration on semiformal mathematical knowledge by semantic web integration / |
| title_sort | enabling collaboration on semiformal mathematical knowledge by semantic web integration |
| topic | Knowledge representation (Information theory) http://id.loc.gov/authorities/subjects/sh90004869 Semantic Web. http://id.loc.gov/authorities/subjects/sh2002000569 OMDoc (Document markup language) http://id.loc.gov/authorities/subjects/sh2008020304 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Représentation des connaissances. Web sémantique. Mathématiques. applied mathematics. aat mathematics. aat MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Knowledge representation (Information theory) fast Mathematics fast OMDoc (Document markup language) fast Semantic Web fast |
| topic_facet | Knowledge representation (Information theory) Semantic Web. OMDoc (Document markup language) Mathematics. Représentation des connaissances. Web sémantique. Mathématiques. applied mathematics. mathematics. MATHEMATICS Essays. MATHEMATICS Pre-Calculus. MATHEMATICS Reference. Mathematics Semantic Web dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=683319 |
| work_keys_str_mv | AT langechristoph enablingcollaborationonsemiformalmathematicalknowledgebysemanticwebintegration |