Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Finna-recension
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Sparad:
Fysisk beskrivning |
XII, 341 p. online resource |
---|---|
Språk |
engelska |
Utgivare |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
Serie | Lecture Notes in Computer Science, ISSN 0302-9743; 5607 |
DDK-klassifikation |
006.3 |
Ämnen | |
Mer information | edited by Martin Giese, Arild Waaler |
Painettu |
9783642027154 |
ISBN |
9783642027161 |
DOI | 10.1007/978-3-642-02716-1 |
Tillgång | Aineisto on käytettävissä Jyväskylän yliopiston verkossa |
Anmärkningar |
SpringerLink eBooks |
Standardkoder |
doi 10.1007/978-3-642-02716-1 |