q=Wang+Sanmin+%3D+%E5%8D%8A%E7%BA%BF%E6%80%A7%E5%AD%90%E7%BB%93%E6%9E%84%E9%80%BB%E8%BE%91%E7%9A%84%E6%A0%87%E5%87%86%E5%AE%8C%E5%A4%87%E6%80%A7+%2F+%E7%8E%8B%E4%B8%89%E6%B0%91.&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=LT&searchWay0=marc&logical0=AND
rows=10&curlibcode=LT&searchWay0=marc&logical0=AND
Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.