共 50 条
- [24] Building blocks for persistent memory How to get the most out of your new memory? VLDB JOURNAL, 2020, 29 (06): : 1223 - 1241
- [27] New-model scholarship: How will it survive? COLLEGE & RESEARCH LIBRARIES, 2004, 65 (01): : 86 - 88
- [29] Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 295 - +