Arild Waaler – författare

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

2 produkter

1. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

   Av Martin Giese, Arild Waaler

   Häftad, 2009

   567 kr

   Lägg i varukorg

   This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page …

2. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

   Av Arild Waaler, Martin Giese

   E-bok, 2009

   755 kr

   Lägg i varukorg

   This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page …