Conference item
Presenting Constraints
Actions
Access Document
- Publisher copy:
- 10.1007/978-3-642-02716-1_1
Authors
- Publisher:
- Springer
- Host title:
- Automated Reasoning with Analytic Tableaux and Related Methods‚ 18th International Conference‚ TABLEAUX 2009‚ Oslo‚ Norway‚ July 6−10‚ 2009. Proceedings
- Volume:
- 5607
- Publication date:
- 2009-01-01
- DOI:
- ISBN:
- 9783642027154
- UUID:
-
uuid:09a93bdc-0af0-4235-975a-38822ed57708
- Local pid:
-
cs:4015
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record