konrad slind

Grid   List

  1. Theorem Proving in Higher Order Logics

    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  2. Theorem Proving in Higher Order Logics

    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1