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

Automated Reasoning

Christoph Benzmüller

€78,80
€78,80 €81,24 Išpardavimas

Turime sandėlyje

Numatomas pristatymas
Venipak paštomatas birželio 27 – liepos 2 d.
DHL Express birželio 25–26 d.
Leidimo metai 2024 m.
Puslapių skč. 424 psl.
Viršelis Minkštas viršelis
ISBN 9783031635007
Leidimas 2024 ed.

Automated Reasoning

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

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

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

Automated Reasoning

€78,80
€78,80 €81,24