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

Automated Reasoning

Nicola Olivetti

€84,87
€84,87 €87,49 Väljamüük

Meil on laos

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
Autorius Nicola Olivetti
Leidimo metai 2016 m.
Puslapių skč. 580 psl.
Viršelis Minkštas viršelis
ISBN 9783319402284
Leidimas 1st ed. 2016
Kategorijos Tehisintellekt

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