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

1/1
Prices from
34.99

Featured

COMPARE ALL WEBSHOPS (1)

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 (1)

Shop
Price
Amazon Logo
£ 34.99
To Shop
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

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

£ 34.99
More Information More Info

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
More Information More Info

Springer

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

£ 34.99
More Information More Info
Featured Choice
£ 34.99
To Shop