Grid  List

  1. Theorem Proving in Higher Order Logics
    0 %
    Ebook
    Sofort lieferbar

    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...

    Unser bisheriger Preis:ORGPRICE: 57,61 €

    Jetzt 57,60 €Ebook
    Alle Preise inkl. MwSt
  2. Taschenbuch
    Print on Demand

    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...

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