Didier Galmiche – författare

Visar alla böcker från författaren Didier Galmiche. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Automated Reasoning

   9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

   Av Didier Galmiche, Stephan Schulz m. fl.

   Häftad, 2018

   568 kr

   Lägg i varukorg

   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 Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International …

2. 

   Automated Reasoning

   9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

   Av Roberto Sebastiani, Stephan Schulz m. fl.

   E-bok, 2018

   739 kr

   Lägg i varukorg

   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 Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International …

3. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

   Av Didier Galmiche

   Häftad, 1997

   568 kr

   Lägg i varukorg

   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 presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers …

4. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

   Av Didier Galmiche, Dominique Larchey-Wendling

   Häftad, 2013

   523 kr

   Lägg i varukorg

   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 September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully …

5. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

   Av Dominique Larchey-Wendling, Didier Galmiche

   E-bok, 2013

   652 kr

   Lägg i varukorg

   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 September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully …