Automated reasoning with analytic tableaux and related methods - international conference : tableaux '98 Oisterwijk, The Netherlands, May 5 - 8, 1998 : proceedings
- Författare
- International Conference on Analytic Tableaux and Related Methods 1998) (Oisterwijk :
- (Harrie de Swart (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1998 | Tyskland, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo | 324 sidor. | |