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

Priser från
472,00

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

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

Jämför webbutiker (1)

Sortera efter:

472,00 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
472,00 kr
Til butik