Grid  List

  1. Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    42,80 €*
  2. Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1