Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Anupam Das
SKU: 9783030860585
Price: 239.00 PLN
Availability: InStock

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Lecture Notes in Computer Science

239,00 zł 293,00 zł

Według Anupam Das

Pristatymas gali užtrukti 2-3 sav.

Szybka dostawa

467 psl.

2021 m.

Minkštas viršelis

Kod kreskowy: 9783030860585

Wyświetl szczegółowe informacje

Automated Reasoning with Analytic Tableaux and Related Methods

From Lithuania, with love ❤️

Like you, we love books. And we’ve had this passion since the very beginning.

Every day we strive to grow, improve, and expand our offering so that the books you purchase online reach you in the best possible way: quickly, at an affordable price, and in perfect condition.

All the books you see in our store are in stock and ready to ship.

Newsletter

Bądź na bieżąco z nowościami w katalogu książek.