Zum Inhalt springen Kaiser, Łukasz [VerfasserIn] Logic and games on automatic structures : playing with quantifiers and decompositions Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6810 Kaiser, Łukasz [VerfasserIn] Logic and games on automatic structures Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01dd11/587189975.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008 Kaiser, Łukasz [VerfasserIn] Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6810
Kaiser, Łukasz [VerfasserIn] Logic and games on automatic structures : playing with quantifiers and decompositions Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6810
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kaiser, Łukasz [VerfasserIn] Logic and games on automatic structures Bücher Online ansehen Schließen > Zugang https://edocs.tib.eu/files/e01dd11/587189975.pdf Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kaiser, Łukasz [VerfasserIn] Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 6810
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (1) Wert ausschließen Ohne Angabe (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (2) Wert ausschließen Mathematik (2) Wert ausschließen Musikwissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Kaiser, Łukasz (3) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (3) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen zeige weitere weniger zeigen