Logic program synthesis and transformation: proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991

sponsored by the Association for Logic Programming ... T. P. Clement ... (eds.)

London [u.a.]: Springer, 1992

Konferenzschrift, Sammelwerk, Gedruckte Ressource - X, 337 S. : graph. Darst.

Titel:	Logic program synthesis and transformation: proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991
Verantwortlichkeitsangabe:	sponsored by the Association for Logic Programming ... T. P. Clement ... (eds.)
Autor/in / Beteiligte Person:	Clement, Timothy Paul
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, 1992
Medientyp:	Konferenzschrift, Sammelwerk
Datenträgertyp:	Gedruckte Ressource
Umfang:	X, 337 S. : graph. Darst.
ISBN:	3540197427 kart. : No price : CIP entry (Feb.); 0387197427
Schlagwort:	Logische Programmierung
Sonstiges:	Gesamttitelangabe: Workshops in computing Konferenzschrift: Manchester, 1991 Lokale Notationen: TVI; TVL; TXTT; TUQ Fächer: Informatik hbz Verbund-ID: HT004166144

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.