- Schmidt, Renate A. - -
Schmidt, Renate A. - Automated Deduction - C.a.d.e.-22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (lecture ... (lecture Notes In Computer Science)
Brand: Schmidt, Renate A. -
EAN:
9783642029585MPN: m03642029582
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 520, publicationDate : 2009-07-10, releaseDate : 2009-07-10, publishers : Schmidt, Renate A., languages : english, ISBN : 3642029582
Preise vergleichen ab:
Schmidt, Renate A. - in Bücher & Zeitschriften