Automated Reasoning with Analytic TABLEAUX and Related Methods: 34th International Conference, 2025, Reykjavik, Iceland, September 2729, Proceedings: 15980

Prices from
40.62

Featured

COMPARE ALL WEBSHOPS (2)

Description

Automated Reasoning with Analytic TABLEAUX and Related Methods: 34th International Conference, 2025, Reykjavik, Iceland, September 2729, Proceedings: 15980

Compare webshops (2)

Shop
Price
 40.62
 40.62
Description (0)

Automated Reasoning with Analytic TABLEAUX and Related Methods: 34th International Conference, 2025, Reykjavik, Iceland, September 2729, Proceedings: 15980


Product specifications

Brand Springer
EAN
  • 9783032060846
MPN
  • Refer to Sapnet.

Featured Choice
 40.62
To Shop