..............page:65-66,70
..............page:100-105
..............page:118-120
..............page:114-115
..............page:82-84,96
..............page:97-99,105
..............page:109-111
..............page:45-49,77
..............page:116-117,120
..............page:112-113
..............page:106-108
..............page:21-23,26
..............page:27-29,33
..............page:11-13,17
Indirect Computing Model with Indirect Formal Method
ZUO Xiaohui 1;2;3;ZUO Shunpeng 1 Institute of Higher Education;Beijing 100083;China;2.Engineering Institute of Synergy Culture Gene;Tsinghua Science Park;Zhuhai 519000;China;3.Sino-US Project:UC Berkeley Searle Research Bilingual Information Processing Research Group)
..............page:1-5
..............page:123-124
..............page:50-51,55
..............page:121-122
..............page:56-58,64