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

Prices from
40.85

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 40.85
To Shop
Amazon Marketplace Logo
€ 40.85
To Shop
Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783031999833

Springer

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

€ 41.03
Compare 2 stores 2 stores

Independently Published

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

€ 20.66
Compare 2 stores 2 stores

Springer

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

€ 90.64
Compare 2 stores 2 stores

Springer

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

€ 70.03
Compare 2 stores 2 stores
Featured Choice
€ 40.85
To Shop