Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik,, (Paperback)
Gian Luca Pozzato

Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik,, (Paperback)

(No ratings yet)

Key item features

  • Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik,, (Paperback)
  • Author: Springer
  • ISBN: 9783032060846
  • Format: Paperback
  • Publication Date: 2025-09-28
  • Page Count: 492
Current price is Now $25.69
You save $11.51
was $37.20
Price when purchased online
  • Free 90-day returns

How do you want your item?

Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
How do you want your item?
Columbus, 43215
Arrives by Sat, Apr 18
.
Order within 8 hr 54 min
Sold and shipped by Walmart.com
Free 90-day returns - in store or online
This item is gift eligible

More seller options (1)

Starting from $54.97
walmart plus

Get free delivery, shipping and more*

*Restrictions apply

About this item

Product details

Specifications

Warranty

Customer ratings & reviews

0 ratings|0 reviews
This item does not have any reviews yet