Profisuche

cesare tinelli

Grid   List

  1. Frontiers of Combining Systems

    Frontiers of Combining Systems

    Cesare Tinelli
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  2. Description Logic, Theory Combination, and All That

    Description Logic, Theory Combination, and All That

    Carsten Lutz
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. 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, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Description Logic, Theory Combination, and All That

    Description Logic, Theory Combination, and All That

    Carsten Lutz
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Automated Deduction - CADE 29

    Automated Deduction - CADE 29

    Cesare Tinelli
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

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

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1