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 Deduction -- CADE-24

Automated Deduction -- CADE-24

- 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

del av Lecture Notes in Artificial Intelligence-serien

del av Lecture Notes in Computer Science-serien

Automated Deduction -- CADE-24
Om Automated Deduction -- CADE-24

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783642385735
  • Format:
  • Häftad
  • Sidor:
  • 466
  • Utgiven:
  • 16. maj 2013
  • Utgåva:
  • 2013
  • Mått:
  • 155x235x24 mm.
  • Vikt:
  • 735 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 19. december 2024
Förlängd ångerrätt till 31. januari 2025

Beskrivning av Automated Deduction -- CADE-24

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

Användarnas betyg av Automated Deduction -- CADE-24



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