Robert Nieuwenhuis - Automated Deduction - Cade-20: 20th International Conference On Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes In Computer Science (3632), Band 3632)
Brand: Robert Nieuwenhuis -
EAN:
9783540280057MPN: m03540280057
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2005, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2008-10-10, publishers : Robert Nieuwenhuis, ISBN : 3540280057
Preise vergleichen ab:
Robert Nieuwenhuis - in Bücher & Zeitschriften