• Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
1 1

Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I

Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I

By Springer

Out of stock

$56.95 USD
$56.95 USD
Sale Sold out
Shipping calculated at checkout.

Pre-order. Release date: 2026-08-27

Cover Type:Paperback
ISBN: 3032325889    EAN: 9783032325884

** Product Overview **

View full details

Our Best sellers

View all