y)p(x, y), we present a method of extracting program from the proof generated by thegeneral resolution principle. It collects process information from the general resolution proof tree by analyzing every node of general resolution proof tree to extract program.
的定理证明问题,本文从分析广义归结证明树的每个结点入手,提取广义归结证明的过程信息,生成问题求解程序。
参考来源 - 基于广义归结的程序综合·2,447,543篇论文数据,部分数据来源于NoteExpress
一些农民甚至为了牢固自己的土地产权而把树全部砍光了:因为巴西环保署开具的罚款单可以作为产权的证明。
Some farmers even clear trees as a way to solidify land claims: fines from Brazil's environmental agency can create a paper trail that ACTS as proof of ownership.
狼先生一边做着这些工作,一边恨恨的想着:“我要证明给你看,树先生,你是关不住我的!”
This was working out fine. I'll show you Mr. Tree, you can't keep me in here, he thought.
这很方便让他把这次因为一棵树导致的越境事件作为证据,证明其游击队“反击以色列”和保卫“黎巴嫩神圣国土”的必要性。
It was convenient for him to be able to point to the border incident over the tree as evidence of the need for his guerrillas to "resist Israel" and guard "Lebanon's holy soil".
So Rituparna tries to prove to him his abilities and he says, see that tree there, I can estimate how many leaves there are on that tree by counting leaves on one branch.
所以睿都巴若那就试图证明自己的能力,他说,看那边的树,我只需数一根枝杈上的叶子,就能估算出树上叶子的总数
应用推荐