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

Bibliographische Detailangaben

Körperschaft:	ITP (VerfasserIn)
Weitere Verfasser:	Avigad, Jeremy (HerausgeberIn), Mahboubi, Assia (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2018
Schriftenreihe:	Lecture notes in computer science 10895
Schlagworte:	Konferenzschrift > Automatisches Beweisverfahren > HOL
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!