论文部分内容阅读
Hoare逻辑中相对完备性的一个较弱充分条件
【机 构】
：
华东化工学院
【出 处】
：
第三届全国青年计算机学术会议
【发表日期】
：
1991年期
其他文献
1977—1986年，收集国内外夏秋萝卜品种89年以中秋红、醉仙桃、徐州大红袍、穿心红等品种自交获得180份自交系。通过田间自然鉴定和室内接种Tumv（TurnipMosaicVirus）鉴定，从269份