Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings
- Author
- Ryuzo Hasegawa, Hiroshi Fujita (auth.), Didier Galmiche (eds.)
- Publisher
- Springer Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 1997
- Page
- XII, 380 p.
- ISBN
- 3540629203,9783540629207
- File Type
- djvu
- File Size
- 3.0 MiB
How to Download?!!!
Just click on START button on Telegram Bot