A Tableaux Calculus for Ambiguous Quantification

14 years 4 months ago

Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232

Christof Monz, Maarten de Rijke

Ambiguous Expressions | Analytic Tableaux | Artificial Intelligence | Complete Tableaux Calculus | TABLEAUX 1998 |

claim paper

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1998
Where	TABLEAUX
Authors	Christof Monz, Maarten de Rijke

Comments (0)