Nicola Olivetti
Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti · 2007
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
- 2007
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 245
- ISBN
- 9783540730989
Data source: Wikidata
