Sciweavers

Share
TABLEAUX
1998
Springer

A Tableaux Calculus for Ambiguous Quantification

11 years 5 months ago
A Tableaux Calculus for Ambiguous Quantification
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
Christof Monz, Maarten de Rijke
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1998
Where TABLEAUX
Authors Christof Monz, Maarten de Rijke
Comments (0)
books