Conference item icon

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


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP