共 50 条
- [11] Special issue on user interfaces in theorem proving: Preface Journal of Automated Reasoning, 2007, 39 (02): : 107 - 108
- [12] Special Issue on User Interfaces in Theorem Proving: Preface Journal of Automated Reasoning, 2007, 39 : 107 - 108
- [19] An evaluation model for digital libraries' user interfaces using fuzzy AHP ELECTRONIC LIBRARY, 2014, 32 (01): : 83 - 95