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

Automated Reasoning

Nicola Olivetti

€84,87
€84,87 €87,49 Em promoção

Temos em stock

📦 Š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
Kategorijos Dirbtinis intelektas

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