共 50 条
- [42] Seeing Through the Logical Framework [J]. VOLUNTAS: International Journal of Voluntary and Nonprofit Organizations, 2020, 31 : 1239 - 1253
- [43] Meta Linear Logical Framework [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 199 : 129 - 147
- [44] A Logical Framework for Set Theories [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (81): : 3 - 15
- [45] A logical framework for modelling eMAS [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2003, 2562 : 241 - 255
- [46] A Logical Framework for Configuration Software [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 141 - 147
- [48] Logical Problem Solving Framework [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT I, 2019, 11431 : 28 - 40