• Book cover of: Automated Reasoning. By: Christoph Benzmüller

Automated Reasoning

Christoph Benzmüller

€42,43
€42,43 €43,74 Em promoção

Temos em stock

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Leidimo metai 2024 m.
Puslapių skč. 482 psl.
Viršelis Minkštas viršelis
ISBN 9783031634970
Leidimas 2024 ed.

Automated Reasoning

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

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

Book cover of: Automated Reasoning. By: Christoph Benzmüller

Automated Reasoning

€42,43
€42,43 €43,74