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

Automated Reasoning

Christoph Benzmüller

€42,43
€42,43 €43,74 Išpardavimas

Turime sandėlyje

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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