Projects per year
| Original language | English |
|---|---|
| Place of Publication | Heidelberg |
| Publisher | Springer Verlag |
| Number of pages | 325 |
| ISBN (Print) | 3540644067 |
| Publication status | Published - 1998 |
Projects
- 1 Finished
Automated Reasoning with Analytic Tableaux and Related Methods
H.C.M. de Swart (Editor)
Research output: Book/Report › Book editing › Scientific
1
Citation
(Scopus)