Del 9791
Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa, Leonardo De Moura
Häftad
599 kr
Del 10395 - Lecture Notes in Computer Science
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Häftad, Engelska, 2017
1 129 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
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods: Foundations and Applications
Juliano Iyoda, Leonardo de Moura, Leonardo De Moura
Häftad
649 kr
- Bokrea
Del 1