共 50 条
- [23] Managing Human and Artificial Knowledge Bearers BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2020, 2020, 391 : 182 - 201
- [25] Proofs of membership vs. proofs of knowledge THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 34 - 45
- [27] Computational complexity and mathematical proofs INFORMATICS - 10 YEARS BACK, 10 YEARS AHEAD, 2001, 2000 : 251 - 256