Logic program synthesis and transformation: proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992

sponsored by the Association for Logic Programming ... Kung-Kiu Lau ... (eds.)

London [u.a.]: Springer, 1993

Konferenzschrift, Sammelwerk, Gedruckte Ressource - XII, 270 S. : graph. Darst.

Titel:	Logic program synthesis and transformation: proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Verantwortlichkeitsangabe:	sponsored by the Association for Logic Programming ... Kung-Kiu Lau ... (eds.)
Autor/in / Beteiligte Person:	Lau, Kung-Kiu
Körperschaft:	Association for Logic Programming ; International Workshop on Logic Program Synthesis and Transformation
Verwandtes Werk:	Workshops in computing
Veröffentlichung:	London [u.a.]: Springer, 1993
Medientyp:	Konferenzschrift, Sammelwerk
Datenträgertyp:	Gedruckte Ressource
Umfang:	XII, 270 S. : graph. Darst.
ISBN:	3540198067; 0387198067
Schlagwort:	Logische Programmierung Softwareentwicklung Systemtransformation
Sonstiges:	Gesamttitelangabe: Workshops in computing Konferenzschrift: Manchester, 1992 Lokale Notationen: TVI; TVL; TXTT; TUQ Fächer: Informatik hbz Verbund-ID: HT004549551

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.