• Book cover of: Automated Reasoning with Analytic Tableaux and Related Methods. By: Anupam Das

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Anupam Das
Leidimo metai 2021 m.
Puslapių skč. 467 psl.
Viršelis Minkštas viršelis
ISBN 9783030860585
Leidimas 1st ed. 2021

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods by Anupam Das, Sara Negri.

Published by Springer International Publishing AG, (2021), Paperback, 467 pages.

Book cover of: Automated Reasoning with Analytic Tableaux and Related Methods. By: Anupam Das

Automated Reasoning with Analytic Tab...

€54,55
€54,55 €56,24