Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Data og IT
  5. Interactive Theorem Proving

Interactive Theorem Proving

- 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings

del av Theoretical Computer Science and General Issues-serien

del av Lecture Notes in Computer Science-serien

Interactive Theorem Proving
Om Interactive Theorem Proving

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783319661063
  • Bindende:
  • Paperback
  • Sider:
  • 532
  • Utgitt:
  • 21. august 2017
  • Utgave:
  • 2017
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 8248 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 25. august 2025

Beskrivelse av Interactive Theorem Proving

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.

Brukervurderinger av Interactive Theorem Proving



Andre har også kjøpt..
Finn lignende bøker
Boken Interactive Theorem Proving finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.