Automated Reasoning with Analytic Tableaux and Related Methods

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

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

Lecture Notes in Computer Science

€55,37 €68,10

Mukaan Anupam Das

Pristatymas gali užtrukti 2-3 sav.

Nopea toimitus

467 psl.

2021 m.

Minkštas viršelis

Viivakoodi: 9783030860585

Näytä yksityiskohtaiset tiedot

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.

Uutiskirje

Pysy ajan tasalla uusista kirjoista luettelossa.