Syndetics omslagsbild
Bild från Syndetics

Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Jeremy Avigad, Assia Mahboubi.

Medverkande: Materialtyp: TextSerie: Theoretical Computer Science and General Issues ; 10895Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2018Utgåva: 1st ed. 2018Beskrivning: 1 online resource (XVII, 642 p. 103 illus.)Innehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783319948218
Ämnen: Fler format: Printed edition:: Ingen titel; Printed edition:: Ingen titelDDK-klassifikation:
  • 005.131 23
Library of Congress (LC) klassifikationskod:
  • QA267-268.5
Onlineresurser: I: Springer Nature eBookSammanfattning: Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Inga fysiska exemplar för denna post

Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Print version record.

Licensed e-book