Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematical Knowledge Management
  • Produktbild: Mathematical Knowledge Management
Band 2594

Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.02.2003

Abbildungen

X, 230 p.

Herausgeber

Andrea Asperti + weitere

Verlag

Springer Berlin

Seitenzahl

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

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.02.2003

Abbildungen

X, 230 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

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

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Knowledge Management
  • Produktbild: Mathematical Knowledge Management
  • 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.