Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Softwareudvikling
  6. Netværkssikkerhed
  7. Matematisk datateori
  8. Kunstig intelligens
  9. Interactive Theorem Proving: 4th International Conference, ITP...

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 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 Datasikkerhed Kunstig intelligens Matematisk datateori Netværkssikkerhed Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions.

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 19-07-2013
Første udgivelsesår 2013
Serie Lecture Notes in Computer Science
Illustrationer 73 Illustrations, black and white; XII, 498 p. 73 illus.
Fagredaktør Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Originalsprog Germany
Sideantal 498
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 498 pages, 73 Illustrations, black and white; XII, 498 p. 73 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642396335