Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Programmering / softwareudvikling
  9. Automated Deduction – CADE 26: 26th International Conference...

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

(Bog, Paperback / softback, Engelsk)
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Kunstig intelligens Matematisk datateori Programmering / softwareudvikling Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 11-07-2017
Første udgivelsesår 2017
Serie Lecture Notes in Computer Science
Illustrationer 87 Illustrations, black and white; XI, 582 p. 87 illus.
Fagredaktør Leonardo de Moura
Originalsprog Switzerland
Sideantal 582
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 582 pages, 87 Illustrations, black and white; XI, 582 p. 87 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319630458