Grid  List

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

    This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...

    Unser bisheriger Preis:ORGPRICE: 103,52 €

    Jetzt 57,76 €Ebook
    Alle Preise inkl. MwSt
  2. 9,99 €Ebook
    Alle Preise inkl. MwSt
  3. Modeling and Retrieval of Context
    0 %
    Ebook
    Sofort lieferbar

    Computing in context has become a necessity in modern and intelligent IT - plications. With the u...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  4. Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Modeling and Retrieval of Context
    0 %
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Computing in context has become a necessity in modern and intelligent IT - plications. With the u...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

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