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

- 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

del av Lecture Notes in Computer Science-serien

del av Lecture Notes in Artificial Intelligence-serien

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

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319669014
  • Format:
  • Häftad
  • Sidor:
  • 381
  • Utgiven:
  • 31. augusti 2017
  • Utgåva:
  • 12017
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 5971 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 19. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Automated Reasoning with Analytic Tableaux and Related Methods

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

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.