didier galmiche

Grid   List

  1. Automated Reasoning
    Automated Reasoning
    Didier Galmiche
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated L...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Didier Galmiche
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in Septe...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Reasoning
    Automated Reasoning
    Didier Galmiche
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated L...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Didier Galmiche
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume pres...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Dominique Larchey-Wendling
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in Septe...
    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>