共 50 条
- [22] KNOWLEDGE OF PROOFS [J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1994, 13 (02): : 93 - 100
- [23] Managing Human and Artificial Knowledge Bearers [J]. BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2020, 2020, 391 : 182 - 201
- [25] Proofs of membership vs. proofs of knowledge [J]. THIRTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY - PROCEEDINGS, 1998, : 34 - 45
- [27] Computational complexity and mathematical proofs [J]. INFORMATICS - 10 YEARS BACK, 10 YEARS AHEAD, 2001, 2000 : 251 - 256
- [29] Structured design with mathematical proofs [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (10) : 669 - 677