Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part II (Lecture Notes in Computer Science, 16689)

Prices from
34.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part II (Lecture Notes in Computer Science, 16689)

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

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 34.99

£ 34.99

Description (0)

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629, Proceedings, Part II (Lecture Notes in Computer Science, 16689)

Product specifications

Brand Springer
EAN
  • 9783032325914

Springer

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 2629,...

£ 34.99
Compare 2 stores 2 stores

Springer

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629,...

£ 34.99
Compare 2 stores 2 stores

Springer

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27...

£ 64.85
More Information More Info

Springer

Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629,...

£ 34.99
Compare 2 stores 2 stores
Featured Choice
£ 34.99
To Shop