Band 2594
Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Aus der Reihe
Lecture Notes in Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Auflage:2003
- 2004 Fr. 73.90
- 2003 Fr. 72.90 ausgewählt
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
05.02.2003
Abbildungen
X, 230 p.
Herausgeber
Andrea Asperti + weitereVerlag
Springer BerlinSeitenzahl
230
Maße (L/B/H)
23.5/15.5/1.4 cm
Gewicht
371 g
Auflage
2003
Sprache
Englisch
ISBN
978-3-540-00568-1
Regular 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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.