Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Finna rating
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Saved in:
| Physical Description |
XII, 341 p. online resource |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Publisher |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
| Series | Lecture Notes in Computer Science, ISSN 0302-9743; 5607 |
| Dewey Classification |
006.3 |
| Subjects | |
| Additional Information | edited by Martin Giese, Arild Waaler |
| Painettu |
9783642027154 |
| ISBN |
9783642027161 |
| DOI | 10.1007/978-3-642-02716-1 |
| Access | Aineisto on käytettävissä Jyväskylän yliopiston verkossa |
| Notes |
SpringerLink eBooks |
| Standard Codes |
doi 10.1007/978-3-642-02716-1 |