Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015,  by Hans De NivelleAutomated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015,  by Hans De Nivelle

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference…

byHans De Nivelle

Paperback | November 12, 2015

Pricing and Purchase Info

$83.64 online 
$96.95 list price save 13%
Earn 418 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference…Format:PaperbackDimensions:355 pages, 23.5 × 15.5 × 0.17 inPublished:November 12, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:331924311X

ISBN - 13:9783319243115

Look for similar items by category:

Reviews