共 50 条
- [41] A graphical user interface for formal proofs in geometry [J]. Journal of Automated Reasoning, 2007, 39 (02): : 161 - 180
- [42] ShelXle: a Qt graphical user interface for SHELXL [J]. JOURNAL OF APPLIED CRYSTALLOGRAPHY, 2011, 44 : 1281 - 1284
- [44] An integrated graphical user interface for crystallographic software [J]. DIRECT METHODS FOR SOLVING MACROMOLECULAR STRUCTURES, 1998, 507 : 181 - 186
- [45] A graphical user interface for structured document retrieval [J]. ADVANCES IN INFORMATION RETRIEVAL, 2002, 2291 : 268 - 283
- [46] Personalized graphical user interface based on Java [J]. Commun. Comput. Info. Sci., 1865, PART 2 (308-313):
- [47] A Graphical User Interface for an External Fixation System [J]. 2014 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI), 2014, : 480 - 483
- [48] Design for an Image Processing Graphical User Interface [J]. 2ND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND INDUSTRIAL AUTOMATION (ICITIA 2017), 2017, : 301 - 308
- [49] A Graphical User Interface for Formal Proofs in Geometry [J]. Journal of Automated Reasoning, 2007, 39 : 161 - 180