Automated Reasoning with Analytic Tableaux and Related Me...
Murray, Neil V.![Automated Reasoning with Analytic Tableaux and Related Methods](https://support.digitalhusky.com/media/annotations/sorted/348/3486775/CHSBZCOP033486775.jpg)
ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX'99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995),...