Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Kunstig intelligens
  6. Interactive Theorem Proving: 6th International Conference, ITP...

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

(Bog, Paperback / softback, Engelsk)
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, 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

Kunstig intelligens Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2015
Udgivelsesdato 27-08-2015
Første udgivelsesår 2015
Serie Lecture Notes in Computer Science
Illustrationer 63 Illustrations, black and white; XI, 469 p. 63 illus.
Fagredaktør Christian Urban, Xingyuan Zhang
Originalsprog Switzerland
Sideantal 469
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 469 pages, 63 Illustrations, black and white; XI, 469 p. 63 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319221014