Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.2594 (PDF)
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.
The 16 revised full papers presented together with an invited paper were...
The 16 revised full papers presented together with an invited paper were...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.2594 (PDF)“
This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.
The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
Bibliographische Angaben
- 2007, 2003, 230 Seiten, Englisch
- Herausgegeben: Andrea Asperti, Bruno Buchberger, James Harold Davenport
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540364692
- ISBN-13: 9783540364696
- Erscheinungsdatum: 28.10.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.70 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.2594"
0 Gebrauchte Artikel zu „Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.2594“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.2594".
Kommentar verfassen