Ergebnisse filtern
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
Informatik
-
Bubeck Model-Based Transformations for Quantified Boolean Formulas
Erscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-545-7Medium: BuchLieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort