Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Data og IT
  5. Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

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

del av Lecture Notes in Computer Science-serien

Automated Reasoning with Analytic Tableaux and Related Methods
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030860585
  • Bindende:
  • Paperback
  • Sider:
  • 467
  • Utgitt:
  • 1. september 2021
  • Utgave:
  • 12021
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 741 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 21. mars 2025

Brukervurderinger av Automated Reasoning with Analytic Tableaux and Related Methods



Andre har også kjøpt..
Finn lignende bøker
Boken Automated Reasoning with Analytic Tableaux and Related Methods finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.