Originele taal-2 | English |
---|---|
Titel | Automated reasoning with analytic tableaux and related methods |
Redacteuren | D. Galmiche, D. Larchey-Wendling |
Plaats van productie | Heidelberg |
Uitgeverij | Springer |
Pagina's | 81-96 |
ISBN van geprinte versie | 9783642221187 |
Status | Published - 2013 |
Publicatie series
Naam | Lecture notes in computer science |
---|---|
Volume | 8123 |
ISSN van geprinte versie | 0302-9743 |