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

Priser från
412,03

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Jämför webbutiker (2)

Shop
Pris
412,03 kr
412,03 kr
Beskrivning (0)

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


Produktspecifikationer

Märke Springer
EAN
  • 9783032060846

Utvalt Val
412,03 kr
Til butik