booktheque

Automated Reasoning

Nicola Olivetti, Ashish Tiwari · 2016

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2016
Language
English
Publisher
Springer London, Limited
Editions
3
Pages
580
ISBN
9783319402291

Data source: Wikidata

More by Nicola Olivetti

Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti · 2007