Erweiterte Suche

Grid  List

  1. Description Logic, Theory Combination, and All That Description Logic, Theory Combination, and All That

    Description Logic, Theory Combination, and All That

    Carsten Lutz
    Springer International Publishing, Springer International Publishing
    01.06.2019

    This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebra...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Cesare Tinelli
    Springer Berlin Heidelberg
    08.04.2015

    This book constitutes the proceedings of the 21st International Conference on Tools and Algorithm...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Deduction ¿ CADE 29 Automated Deduction ¿ CADE 29

    Automated Deduction ¿ CADE 29

    Cesare Tinelli
    Springer Nature Switzerland, Springer Nature Switzerland
    03.09.2023

    This open access book constitutes the proceedings of the 29th International Conference on Automat...

    Taschenbuch
    42,79 €
    Print on Demand
    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