Automated Reasoning

Name: Automated Reasoning
Brand: Christoph Benzmüller
SKU: 9783031634970
Price: 42.43 EUR
Availability: OutOfStock

Christoph Benzmüller

€42,43

€42,43 €43,74 Sale

Tax included. Shipping calculated at checkout.

In stock

Autorius Christoph Benzmüller

Leidėjas Springer International Publishing AG

Leidimo metai 2024 m.

Puslapių skč. 482 psl.

Viršelis Minkštas viršelis

ISBN 9783031634970

Leidimas 2024 ed.

Automated Reasoning by Christoph Benzmüller, Marijn Heule, Renate A. Schmidt.

Published by Springer, (2024), Paperback, 482 pages.

Automated Reasoning

€42,43

€42,43 €43,74

Your cart is empty