Logic and Games on Automatic Structures

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

Playing with Quantifiers and Decompositions, Lecture Notes in Computer Science 6810 – Lecture Notes in Artificial Intelligence

ISBN: 3642228062
ISBN 13: 9783642228063
Autor: Kaiser, Lukasz
Verlag: Springer Verlag GmbH
Umfang: xii, 118 S.
Erscheinungsdatum: 22.07.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1474690 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …