Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings : Calculemus 2007 : MKM 2007

Kauers, Manuel. ; MKM 2007 (2007 : Hagenberg im Mühlkreis, Austria) ; et al.

Berlin ; New York : Springer, c2007., 2007

Buch - xiii, 406 p. : ill. ; 24 cm.

Titel:	Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings : Calculemus 2007 : MKM 2007
Autor/in / Beteiligte Person:	Kauers, Manuel. ; MKM 2007 (2007 : Hagenberg im Mühlkreis, Austria) ; MKM (Conference) (6th : 2007 : Hagenberg im Mühlkreis, Austria)
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, c2007., 2007
Medientyp:	Buch
Umfang:	xiii, 406 p. : ill. ; 24 cm.
ISBN:	978-3-540-73083-5 (print) ; 3-540-73083-4 (print)
Schlagwort:	Algebra -- Data processing -- Congresses. Mathematical analysis -- Data processing -- Congresses. Logic, Symbolic and mathematical -- Congresses. Knowledge management -- Congresses. 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.