Grid  List

  1. 27.07.2015

    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International...

    Taschenbuch
    42,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 12.12.2007

    The papers in this volume show the lively variety of topics and methods in automated deduction in...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1