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

Amazon Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings: 15980

Jämför webbutiker (2)

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

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


Produktspecifikationer

Märke Springer
EAN
  • 9783032060846

Utvalt Val
412,03 kr
Til butik