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

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

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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 Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 16-05-2013
Første udgivelsesår 2013
Serie Lecture Notes in Computer Science
Illustrationer 95 Illustrations, black and white; XVI, 466 p. 95 illus.
Fagredaktør Maria Paola Bonacina
Originalsprog Germany
Sideantal 466
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 466 pages, 95 Illustrations, black and white; XVI, 466 p. 95 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642385735