共 50 条
- [1] A formalization of the design pattern derivation by applying quantum field concepts [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2002, 80 : 66 - 71
- [2] PROPOSAL FOR A NATURAL FORMALIZATION OF FUNCTIONAL PROGRAMMING CONCEPTS [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (03): : 341 - 360
- [4] Unified formalization of "natural" classification, "natural" concepts, and consciousness as integrated information by Giulio Tononi [J]. 6TH ANNUAL INTERNATIONAL CONFERENCE ON BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES (BICA 2015), 2015, 71 : 169 - 177
- [5] The generative basis of natural number concepts [J]. TRENDS IN COGNITIVE SCIENCES, 2008, 12 (06) : 213 - 218
- [6] FORMALIZATION OF PROTOCOL ENGINEERING CONCEPTS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 387 - 403
- [7] FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY [J]. REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 87 - 128
- [9] Formalization of the notion of a "number system" [J]. RUSSIAN MATHEMATICAL SURVEYS, 1999, 54 (01) : 254 - 255