Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Häftad, Engelska, 2017
1 169 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
Produktinformation
- Utgivningsdatum2017-07-11
- Mått155 x 235 x 32 mm
- Vikt890 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor582
- FörlagSpringer International Publishing AG
- ISBN9783319630458