Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

Asperti, Andrea ; Bancerek, Grzegorz ; et al.

2004

Online E-Book

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

Titel:	Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Autor/in / Beteiligte Person:	Asperti, Andrea ; Bancerek, Grzegorz ; Trybulec, Andrzej
Veröffentlichung:	2004
Medientyp:	E-Book
ISBN:	978-3-540-23029-8 (print) ; 978-3-540-27818-4 (electronic)
Schlagwort:	Mathematics--Data processing--Congresses Information storage and retrieval systems--Mathematics--Congresses Automatic theorem proving--Congresses Subjects: Mathematics--Data processing--Congresses Information storage and retrieval systems--Mathematics--Congresses Automatic theorem proving--Congresses COMPUTERS / Mathematical & Statistical Software COMPUTERS / Artificial Intelligence / General
Sonstiges:	Nachgewiesen in: eBook Index ddc: 510.285 Sprachen: English Resource Type: eBook.

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.