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

Automated Reasoning

Christoph Benzmüller

€78,80
€78,80 €81,24 Izpārdošana

Mums ir noliktavā

Paredzamā piegāde
Venipak pakomāts 28. jūnija – 3. jūlija
DHL Express 26.–27. jūnija
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