Kai Brünnler – författare
Visar alla böcker från författaren Kai Brünnler. Handla med fri frakt och snabb leverans.
2 produkter
Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Av Kai Brünnler, George Metcalfe
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully …
Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Av George Metcalfe, Kai Brunnler
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully …
