Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Konrad Slind
    Springer, Springer
    01.09.2004

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

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