Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
- Author
- Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2002
- Page
- 346
- ISBN
- 3540439293,9783540439295
- File Type
- pdf
- File Size
- 2.2 MiB
How to Download?!!!
Just click on START button on Telegram Bot