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

- 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, 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 refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319243115
  • Format:
  • Häftad
  • Sidor:
  • 355
  • Utgiven:
  • 12. november 2015
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x20 mm.
  • Vikt:
  • 5621 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 23. 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 refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions.

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.