• Book cover of: Automated Reasoning. By: Nicola Olivetti

Automated Reasoning

Nicola Olivetti

€84,87
€84,87 €87,49 Izpārdošana

Mums ir noliktavā

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

Autorius Nicola Olivetti
Leidimo metai 2016 m.
Puslapių skč. 580 psl.
Viršelis Minkštas viršelis
ISBN 9783319402284
Leidimas 1st ed. 2016

Automated Reasoning

Automated Reasoning by Nicola Olivetti, Ashish Tiwari.

Published by Springer, (2016), Paperback, 580 pages.

Topics: Automatic theorem proving, Artificial intelligence, Logic programming.

Book cover of: Automated Reasoning. By: Nicola Olivetti

Automated Reasoning

€84,87
€84,87 €87,49