Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Finna-arvio
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Tallennettuna:
| Ulkoasu |
XII, 341 p. online resource |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
| Sarja | Lecture Notes in Computer Science, ISSN 0302-9743; 5607 |
| Dewey-luokitus |
006.3 |
| Aiheet | |
| Lisätiedot | edited by Martin Giese, Arild Waaler |
| Painettu |
9783642027154 |
| ISBN |
9783642027161 |
| DOI | 10.1007/978-3-642-02716-1 |
| Pääsy | Aineisto on käytettävissä Jyväskylän yliopiston verkossa |
| Huomautukset |
SpringerLink eBooks |
| Standarditunnukset |
doi 10.1007/978-3-642-02716-1 |