Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

- 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

del av Lecture Notes in Artificial Intelligence-serien

del av Lecture Notes in Computer Science-serien

Automated Reasoning with Analytic Tableaux and Related Methods
Om Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030290252
  • Format:
  • Häftad
  • Sidor:
  • 477
  • Utgiven:
  • 14. augusti 2019
  • Utgåva:
  • 12019
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 759 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 30. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Användarnas betyg av Automated Reasoning with Analytic Tableaux and Related Methods



Andra köpte även...
Hitta liknande böcker
Boken Automated Reasoning with Analytic Tableaux and Related Methods finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.