Serge Autexier
AuthID: R-00H-5V5
1
TITLE: Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface
AUTHORS: Serge Autexier; Pedro Quaresma;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 239
AUTHORS: Serge Autexier; Pedro Quaresma;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSUE: 239
INDEXED IN: 
WOS
WOS