HDS is a HPSG deductive system as a fragment of pCLL ( partially commutative linear logic ) .
HDS是一个HPSG演绎系统作为部分可交换线性逻辑的片断。
In its search panel , type CPE , LLB or PCLL as your search key to find out more about these courses .
在它的搜查面板中,键入CPE,LLB(学学士)或者PCLL这些检索字可查明得更多。