Uwe Egly
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly · 2002
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2002
- Language
- English
- Series
- Lecture Notes in Computer Science -- 2381
- Publisher
- Springer-Verlag Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783540456162
Data source: Wikidata
