Eintrag weiter verarbeiten
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers: Coimbra, Portugal, 2nd July 2016
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
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 |