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
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
412,03 kr
Til butik
Amazon Marketplace Logga
412,03 kr
Til butik
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

Springer

Similarity Search and Applications: 18th International Conference, SISAP 2025, Reykjavik, Iceland, October...

1.209,93 kr
Jämför 2 butiker 2 Butiker

Springer

Multidisciplinary Social Networks Research: 12th International Conference, MISNC 2025, Oviedo, Spain, September...

730,65 kr
Jämför 2 butiker 2 Butiker

Springer

Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September...

681,68 kr
Jämför 2 butiker 2 Butiker

Springer

Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September...

466,28 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
412,03 kr
Til butik