000 03616nam a22006495i 4500
001 978-3-540-36469-6
003 DE-He213
005 20240423132445.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540364696
_9978-3-540-36469-6
024 7 _a10.1007/3-540-36469-2
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aMathematical Knowledge Management
_h[electronic resource] :
_bSecond International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
_cedited by Andrea Asperti, Bruno Buchberger, James Harold Davenport.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aX, 230 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2594
505 0 _aRegular Contributions -- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics -- MKM from Book to Computer: A Case Study -- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls -- Managing Digital Mathematical Discourse -- NAG Library Documentation -- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions -- Problems and Solutions for Markup for Mathematical Examples and Exercises -- An Annotated Corpus and a Grammar Model of Theorem Description -- A Query Language for a Metadata Framework about Mathematical Resources -- Information Retrieval in MML -- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment -- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge -- On the Integrity of a Repository of Formalized Mathematics -- A Theoretical Analysis of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers -- Invited Talk -- The Mathematical Semantic Web.
650 0 _aArtificial intelligence.
650 0 _aInformation storage and retrieval systems.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 0 _aDatabase management.
650 0 _aMathematics
_xData processing.
650 1 4 _aArtificial Intelligence.
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aDatabase Management.
650 2 4 _aComputational Mathematics and Numerical Analysis.
700 1 _aAsperti, Andrea.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBuchberger, Bruno.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDavenport, James Harold.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540005681
776 0 8 _iPrinted edition:
_z9783662164938
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2594
856 4 0 _uhttps://doi.org/10.1007/3-540-36469-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187970
_d187970