Presenting Constraints
Peter Jeavons
Book Title
TABLEAUX
Crossref
DBLP:conf/tableaux/2009
Editor
Martin Giese and Arild Waaler
ISBN
978−3−642−02715−4
Journal
Automated Reasoning with Analytic Tableaux and Related Methods‚ 18th International Conference‚ TABLEAUX 2009‚ Oslo‚ Norway‚ July 6−10‚ 2009. Proceedings
Pages
1−15
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5607
Year
2009