Automated Deduction CADE 30: 30th International Conference on Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings: 15943

Priser från
422,78

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings: 15943
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
422,78 kr
Til butik
Amazon Marketplace Logga
422,78 kr
Til butik
Beskrivning (1)

Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings: 15943

Produktspecifikationer

Märke Springer
EAN
  • 9783031999833

Springer

Software Business: 16th International Conference, ICSOB 2025, Stuttgart, Germany, November 2426, Proceedings: 574

473,79 kr
Jämför 2 butiker 2 Butiker

Independently Published

the Proceedings of 30th ALL and Everything Conference: 2025 International Humanities Conference

236,71 kr
Jämför 2 butiker 2 Butiker

Springer

Combinatorics on Words: 15th International Conference, WORDS 2025, Nancy, France, June 30...

1.066,17 kr
Mer information Mer info

Springer

Developments in Language Theory: 30th International Conference, DLT 2026, Rouen, France, June...

782,53 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
422,78 kr
Til butik