Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Automated Reasoning Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans
    Springer International Publishing, Springer Nature Switzerland
    30.06.2020

    This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Interna...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Reasoning Automated Reasoning

    Automated Reasoning

    Viorica Sofronie-Stokkermans
    Springer International Publishing, Springer Nature Switzerland
    30.06.2020

    This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Interna...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Deduction -- CADE-23 Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Nikolaj Bjørner
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 23rd International Conference on Automated ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Frontiers of Combining Systems Frontiers of Combining Systems

    Frontiers of Combining Systems

    Cesare Tinelli
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of...

    Taschenbuch
    53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1