Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ITP Oxford (VerfasserIn)
Weitere Verfasser: Avigad, Jeremy (HerausgeberIn), Mahboubi, Assia (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Cham Springer [2018]
Schriftenreihe:Lecture notes in computer science 10895
Schlagworte:
Beschreibung:XVII, 642 Seiten Diagramme
ISBN:9783319948201

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!