Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

by Łukasz Kaiser

Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011

Online Monographie, Elektronische Ressource

Zugriff:

Springer Lecture Notes in Computer Science 1997-2015 (Volltext)

Titel:	Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions
Verantwortlichkeitsangabe:	by Łukasz Kaiser
Autor/in / Beteiligte Person:	Kaiser, Łukasz
Lokaler Link:	Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
Link:	Volltext
Verwandtes Werk:	Lecture Notes in Computer Science
Veröffentlichung:	Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
Medientyp:	Monographie
Datenträgertyp:	Elektronische Ressource
ISBN:	9783642228070
DOI:	10.1007/978-3-642-22807-0
Schlagwort:	Computer science Algebra / Data processing Artificial intelligence Logic, Symbolic and mathematical
Sonstiges:	Online-Ressource [Kann nicht per Fernleihe bestellt werden!] Gesamttitelangabe: Lecture Notes in Computer Science ; 6810 Erscheint auch als: Druck-Ausgabe, ISBN 9783642228063 hbz Verbund-ID: TT050401978

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.