Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Softwareudvikling
  5. Matematisk datateori
  6. Systemanalyse og systemdesign
  7. Kunstig intelligens
  8. Programmeringssprog og scriptsprog
  9. Interactive Theorem Proving: 8th International Conference, ITP...

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings

(Bog, Paperback / softback, Engelsk)
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 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

Kunstig intelligens Matematisk datateori Programmeringssprog og scriptsprog Softwareudvikling Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2017 ed.
Udgivelsesdato 21-08-2017
Første udgivelsesår 2017
Serie Lecture Notes in Computer Science
Illustrationer 79 Illustrations, black and white; XIX, 532 p. 79 illus.
Fagredaktør Mauricio Ayala-Rincon, Cesar A. Munoz
Originalsprog Switzerland
Sideantal 532
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 532 pages, 79 Illustrations, black and white; XIX, 532 p. 79 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319661063