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

Automated Reasoning

Christoph Benzmüller

€78,80
€78,80 €81,24 Väljamüük

Meil on laos

Eeldatav tarneaeg
Venipak pakiautomaat 28. juuni – 3. juuli
DHL Express 26.–27. juuni
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