Placeholder text
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
0 - Default Title
Product details
- Binding:
- Paperback
- Number of Pages:
- 344
- Release Date:
- 2014-03-12
- Publication Date:
- 2014-03-12
- Publisher:
- Springer
- Languages:
- Published: English
- ISBN10:
- 366216227X
- Weight:
- 484 g
Currently sold out