Mathematical knowledge management: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers : MKM 2005

Kohlhase, Michael, 1964-

Berlin ; New York : Springer, 2006

Buch - xi, 403 p. : ill. ; 24 cm.

Titel:	Mathematical knowledge management: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers : MKM 2005
Autor/in / Beteiligte Person:	Kohlhase, Michael, 1964-
Reihe:	Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in computer science.
Veröffentlichung:	Berlin ; New York : Springer, 2006
Medientyp:	Buch
Umfang:	xi, 403 p. : ill. ; 24 cm.
ISBN:	978-3-540-31430-1 (print) ; 978-3-540-31443-1 (print) ; 3-540-31430-X (print) ; 3-540-31443-1 (print)
Schlagwort:	Mathematics -- Data processing -- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving -- Congresses. Bremen (2005) Kongress. Conference proceedings.
Sonstiges:	Nachgewiesen in: Harvard Library Bibliographic Dataset Sprachen: English Document Type: Book Language: English Rights: This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress. Notes: Includes bibliographical references and index. ; Also issued online.

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.