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

Automated Reasoning

- 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

del av Lecture Notes in Artificial Intelligence-serien

del av Lecture Notes in Computer Science-serien

Automated Reasoning
Om Automated Reasoning

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319942049
  • Format:
  • Häftad
  • Sidor:
  • 724
  • Utgiven:
  • 1. juli 2018
  • Utgåva:
  • 12018
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Automated Reasoning

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

Användarnas betyg av Automated Reasoning



Andra köpte även...
Hitta liknande böcker
Boken Automated Reasoning 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.