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

Autorius Anupam Das

Pristatymas gali užtrukti 2-3 sav.

NEMOKAMAS pristatymas

467 psl.

2021 m.

Minkštas viršelis

Brūkšninis kodas: 9783030860585

Plačiau

Automated Reasoning with Analytic Tableaux and Related Methods

Atvira platforma lietuvių autoriams.

Padedame autoriams lengviau parduoti savo knygas internetu ir pasiekti daugiau skaitytojų.

Autoriai, parduodantys knygas per mūsų platformą, gali jas laikyti mūsų sandėliuose be jokio mokesčio.

Naujienlaiškis

Būkite informuoti apie naujas knygas kataloge.