Eintrag weiter verarbeiten
Buchumschlag von Proceedings of the 12th Workshop on User Interfaces for Theorem Provers: Coimbra, Portugal, 2nd July 2016
Verfügbar über Open Access

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers: Coimbra, Portugal, 2nd July 2016

Gespeichert in:

Personen und Körperschaften: Autexier, Serge (HerausgeberIn), Quaresma, Pedro (HerausgeberIn), Workshop on User Interfaces for Theorem Provers 12. 2017 Coimbra (VerfasserIn), Open Publishing Association (Herausgebendes Organ)
Titel: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers: Coimbra, Portugal, 2nd July 2016/ edited by: Serge Autexier and Pedro Quaresma
Medientyp: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
[Waterloo, NSW] [Open Publishing Association] 24th January 2017
Gesamtaufnahme: Electronic proceedings in theoretical computer science ; 239
Schlagwörter:
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen