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

Automated Reasoning

Nicola Olivetti

€84,87
€84,87 €87,49 Sale
Tax included. Shipping calculated at checkout.

In stock
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