共 50 条
- [31] Proceedings 2nd International Workshop on Strategic Reasoning Grenoble, France, April 5-6, 2014 Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (146):
- [38] Proceedings of the 12th Workshop on User Interfaces for Theorem Provers Coimbra, Portugal, 2nd July 2016 Preface ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (239):