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

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das

238,00 zł
238,00 zł 245,00 zł Sprzedaż

Mamy to na stanie

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

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...

238,00 zł
238,00 zł 245,00 zł