Grid   List

  1. Theorem Proving with Analytic Tableaux and Related Methods

    Taschenbuch
    Besorgungstitel

    This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tabl...

    74,89 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1