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

Prices from
34.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

Sort by:

£ 34.99

£ 34.99

Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783032325884

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...

£ 66.49
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