Presenting Constraints
Peter Jeavons
Details
| 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 |
Links
DOI (10.1007/978-3-642-02716-1_1)
Related pages
|
People |
|
|
Activities |