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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: .ukasz Kaiser (autor)
Fformat: Llyfr
Iaith:Saesneg
Cyhoeddwyd: Berlín, Alemania : Springer, 2011, c2011
Cyfres:(Lecture Notes in Computer Science)
Mynediad Ar-lein:Ver documento en línea
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!